- Table View
- List View
Epistemology, Context, and Formalism (Synthese Library #369)
by Franck Lihoreau Manuel RebuschiThe main purpose of the present volume is to advance our understanding of the notions of knowledge and context, the connections between them and the ways in which they can be modeled, in particular formalized – a question of prime importance and utmost relevance to such diverse disciplines as philosophy, linguistics, computer science and artificial intelligence and cognitive science.Bringing together essays written by world-leading experts and emerging researchers in epistemology, logic, philosophy of language, linguistics and theoretical computer science, the book examines the formal modeling of knowledge and the knowledge-context link at one or more of three intersections - context and epistemology, epistemology and formalism, formalism and context – and presents a novel range of approaches to the current discussions that the connections between knowledge, language, action, reasoning and context continually enlivens. It develops powerful ideas that will push the relevant fields forward and give a sense of the new directions in which mainstream and formal research on knowledge and context is heading.
Epistemology versus Ontology
by B. G. Sundholm Erik Palmgren P. Dybjer Sten LindströmThis book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice (ZFC). This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics?
Epitaxial Growth of III-Nitride Compounds: Computational Approach (Springer Series in Materials Science #269)
by Takashi Matsuoka Yoshihiro KangawaThis book presents extensive information on the mechanisms of epitaxial growth in III-nitride compounds, drawing on a state-of-the-art computational approach that combines ab initio calculations, empirical interatomic potentials, and Monte Carlo simulations to do so. It discusses important theoretical aspects of surface structures and elemental growth processes during the epitaxial growth of III-nitride compounds. In addition, it discusses advanced fundamental structural and electronic properties, surface structures, fundamental growth processes and novel behavior of thin films in III-nitride semiconductors. As such, it will appeal to all researchers, engineers and graduate students seeking detailed information on crystal growth and its application to III-nitride compounds.
EPUBTEST 0330 - MathML in EPUB Advanced Accessibility Tests
by Math Task ForceThis is a test epub 3 file to test MathML in epub
EPUBTEST 0340 - Extended Descriptions Accessibility Tests
by Math Task Forceepub 3 test file with extended descriptions
Equal Shmequal
by Virginia KrollWhat does it mean to be equal? Mouse and her friends want to play tug-of-war but they can't figure out how to make teams that are equal. Nothing works until Mouse starts thinking mathematically. Wonderful illustrations capture Mouse and her animal friends from whiskers to tails.
An Equation for Every Occasion: Fifty-Two Formulas and Why They Matter
by John M. HenshawA little math, a bit of history, and a dose of storytelling combine to reveal the importance of equations in everyday life.With this fun romp through the world of equations we encounter in our everyday lives, you’ll find yourself flipping through the stories of fifty-two formulas faster than a deck of cards. John M. Henshaw’s intriguing true accounts, each inspired by a different mathematical equation, are both succinct and easy to read. His tales come from the spheres of sports, business, history, the arts, science, and technology. Anecdotes about famous equations, like E=mc2, appear alongside tales of not-so-famous—but equally fascinating—equations, such as the one used to determine the SPF number for sunscreen. Drawn from the breadth of human endeavor, Henshaw's stories demonstrate the power and utility of math. He entertains us by exploring the ways that equations can be used to explain, among other things, Ponzi schemes, the placebo effect, "dog years," IQ, the wave mechanics of tsunamis, the troubled modern beekeeping industry, and the Challenger disaster. Smartly conceived and fast paced, his book offers something for anyone curious about math and its impacts.
The Equation of Knowledge: From Bayes' Rule to a Unified Philosophy of Science
by Lê Nguyên HoangThe Equation of Knowledge: From Bayes' Rule to a Unified Philosophy of Science introduces readers to the Bayesian approach to science: teasing out the link between probability and knowledge. The author strives to make this book accessible to a very broad audience, suitable for professionals, students, and academics, as well as the enthusiastic amateur scientist/mathematician. This book also shows how Bayesianism sheds new light on nearly all areas of knowledge, from philosophy to mathematics, science and engineering, but also law, politics and everyday decision-making. Bayesian thinking is an important topic for research, which has seen dramatic progress in the recent years, and has a significant role to play in the understanding and development of AI and Machine Learning, among many other things. This book seeks to act as a tool for proselytising the benefits and limits of Bayesianism to a wider public. Features Presents the Bayesian approach as a unifying scientific method for a wide range of topics Suitable for a broad audience, including professionals, students, and academics Provides a more accessible, philosophical introduction to the subject that is offered elsewhere
The Equation that Couldn't Be Solved: How Mathematical Genius Discovered the Language of Symmetry
by Mario LivioWhat do Bach's compositions, Rubik's Cube, the way we choose our mates, and the physics of subatomic particles have in common? All are governed by the laws of symmetry, which elegantly unify scientific and artistic principles. Yet the mathematical language of symmetry-known as group theory-did not emerge from the study of symmetry at all, but from an equation that couldn't be solved. For thousands of years mathematicians solved progressively more difficult algebraic equations, until they encountered the quintic equation, which resisted solution for three centuries. Working independently, two great prodigies ultimately proved that the quintic cannot be solved by a simple formula. These geniuses, a Norwegian named Niels Henrik Abel and a romantic Frenchman named Évariste Galois, both died tragically young. Their incredible labor, however, produced the origins of group theory. The first extensive, popular account of the mathematics of symmetry and order, The Equation That Couldn't Be Solved is told not through abstract formulas but in a beautifully written and dramatic account of the lives and work of some of the greatest and most intriguing mathematicians in history.
The Equationally-Defined Commutator
by Janusz CzelakowskiThis monograph introduces and explores the notions of a commutator equation and the equationally-defined commutator from the perspective of abstract algebraic logic. An account of the commutator operation associated with equational deductive systems is presented, with an emphasis placed on logical aspects of the commutator for equational systems determined by quasivarieties of algebras. The author discusses the general properties of the equationally-defined commutator, various centralization relations for relative congruences, the additivity and correspondence properties of the equationally-defined commutator and its behavior in finitely generated quasivarieties. Presenting new and original research not yet considered in the mathematical literature, The Equationally-Defined Commutator will be of interest to professional algebraists and logicians, as well as graduate students and other researchers interested in problems of modern algebraic logic.
Equations and Analytical Tools in Mathematical Physics: A Concise Introduction
by Yichao ZhuThis book highlights a concise and readable introduction to typical treatments of partial differential equations in mathematical physics. Mathematical physics is regarded by many as a profound discipline. In conventional textbooks of mathematical physics, the known and the new pieces of knowledge often intertwine with each other. The book aims to ease readers' struggle by facilitating a smooth transition to new knowledge. To achieve so, the author designs knowledge maps before each chapter and provides comparative summaries in each chapter whenever appropriate. Through these unique ways, readers can clarify the underlying structures among different equations and extend one's vision to the big picture. The book also emphasizes applications of the knowledge by providing practical examples. The book is intended for all those interested in mathematical physics, enabling them to develop a solid command in using partial differential equations to solve physics and engineering problems in a not-so-painful learning experience.
Equations and Inequalities: Plain Text for Non-Mathematicians (essentials)
by Guido WalzThe book teaches the basics of solving equations and inequalities in easily understandable language. One of the main topics is the solving of quadratic equations, regardless of whether they already exist in normal form or have to be brought into it first. The author treats the p-q formula and the midnight formula as tools for this purpose. In addition, the book deals with linear equations and, in general, with the question of which manipulations one may make on an equation without changing its solutions. Furthermore, the most important inequalities are treated and strategies for their solution are shown.This Springer essential is a translation of the original German 1st edition essentials, Gleichungen und Ungleichungen by Guido Walz, published by Springer Fachmedien Wiesbaden GmbH, part of Springer Nature in 2018. The translation was done with the help of artificial intelligence (machine translation by the service DeepL.com). A subsequent human revision was done primarily in terms of content, so that the book will read stylistically differently from a conventional translation. Springer Nature works continuously to further the development of tools for the production of books and on the related technologies to support the authors.
Équations aux dérivées partielles elliptiques non linéaires
by Herve Le DretCet ouvrage est issu d'un cours de Master 2 enseigné à l'UPMC entre 2004 et 2007. Nous y présentons une sélection de techniques mathématiques orientées vers la résolution des équations aux dérivées partielles elliptiques semi-linéaires et quasi-linéaires. Après un vade-mecum d'analyse réelle et d'analyse fonctionnelle de base pour les EDP, sans démonstrations pour les points les plus connus, nous parcourons ainsi les théorèmes de point fixe classiques, les opérateurs de superposition dans les espaces de Lebesgue et de Sobolev, la méthode de Galerkin, les principes du maximum et la régularité elliptique, nous faisons une excursion assez longue dans divers aspects du calcul des variations puis terminons par les opérateurs monotones et pseudo-monotones. Tout ceci est agrémenté d'exemples et chaque chapitre est complété d'un nombre d'exercices qui croît essentiellement avec le numéro du chapitre, au fur et à mesure que de nouveaux matériaux sont présentés. This book stems from lectures notes of a Master 2 class held at UPMC between 2004 and 2007. A selection of mathematical techniques geared towards the resolution of semilinear and quasilinear elliptic partial differential equations is presented. After a short survival guide in basic real and functional analysis for PDEs, without proofs for the most well-known results, we walk through the classical fixed point theorems, the superposition operators in Lebesgue and Sobolev spaces, the Galerkin method, the maximum principles and elliptic regularity, we make a rather long foray into various aspects of the calculus of variations, and conclude with monotone and pseudo-monotone operators, by way of numerous examples. Each chapter is complemented by a number of exercises that grows with the chapter number as more and more material is made available.
Equations from God: Pure Mathematics and Victorian Faith (Johns Hopkins Studies in the History of Mathematics)
by Daniel J. CohenThroughout history, application rather than abstraction has been the prominent driving force in mathematics. From the compass and sextant to partial differential equations, mathematical advances were spurred by the desire for better navigation tools, weaponry, and construction methods. But the religious upheaval in Victorian England and the fledgling United States opened the way for the rediscovery of pure mathematics, a tradition rooted in Ancient Greece.In Equations from God, Daniel J. Cohen captures the origins of the rebirth of abstract mathematics in the intellectual quest to rise above common existence and touch the mind of the deity. Using an array of published and private sources, Cohen shows how philosophers and mathematicians seized upon the beautiful simplicity inherent in mathematical laws to reconnect with the divine and traces the route by which the divinely inspired mathematics of the Victorian era begot later secular philosophies.
Equations from God: Pure Mathematics and Victorian Faith (Johns Hopkins Studies in the History of Technology)
by Daniel J. CohenThis illuminating history explores the complex relationship between mathematics, religious belief, and Victorian culture.Throughout history, application rather than abstraction has been the prominent driving force in mathematics. From the compass and sextant to partial differential equations, mathematical advances were spurred by the desire for better navigation tools, weaponry, and construction methods. But the religious upheaval in Victorian England and the fledgling United States opened the way for the rediscovery of pure mathematics, a tradition rooted in Ancient Greece.In Equations from God, Daniel J. Cohen captures the origins of the rebirth of abstract mathematics in the intellectual quest to rise above common existence and touch the mind of the deity. Using an array of published and private sources, Cohen shows how philosophers and mathematicians seized upon the beautiful simplicity inherent in mathematical laws to reconnect with the divine and traces the route by which the divinely inspired mathematics of the Victorian era begot later secular philosophies.
Equations of Mathematical Physics
by A. A. Samarskii A. N. TikhonovMathematical physics plays an important role in the study of many physical processes -- hydrodynamics, elasticity, and electrodynamics, to name just a few. Because of the enormous range and variety of problems dealt with by mathematical physics, this thorough advanced undergraduate- or graduate-level text considers only those problems leading to partial differential equations. Contents:I. Classification of Partial Differential EquationsII. Evaluations of the Hyperbolic TypeIII. Equations of the Parabolic TypeIV. Equations of Elliptic TypeV. Wave Propagation in SpaceVI. Heat Conduction in SpaceVII. Equations of Elliptic Type (Continuation)The authors -- two well-known Russian mathematicians -- have focused on typical physical processes and the principal types of equations dealing with them. Special attention is paid throughout to mathematical formulation, rigorous solutions, and physical interpretation of the results obtained. Carefully chosen problems designed to promote technical skills are contained in each chapter, along with extremely useful appendixes that supply applications of solution methods described in the main text. At the end of the book, a helpful supplement discusses special functions, including spherical and cylindrical functions.
Equations of Motion in Relativistic Gravity (Fundamental Theories of Physics #179)
by Dirk Puetzfeld Claus Lämmerzahl Bernard SchutzThe present volume aims to be a comprehensive survey on the derivation of the equations of motion, both in General Relativity as well as in alternative gravity theories. The topics covered range from the description of test bodies, to self-gravitating (heavy) bodies, to current and future observations.Emphasis is put on the coverage of various approximation methods (e.g., multipolar, post-Newtonian, self-force methods) which are extensively used in the context of the relativistic problem of motion. Applications discussed in this volume range from the motion of binary systems -- and the gravitational waves emitted by such systems -- to observations of the galactic center. In particular the impact of choices at a fundamental theoretical level on the interpretation of experiments is highlighted.This book provides a broad and up-do-date status report, which will not only be of value for the experts working in this field, but also may serve as a guideline for students with background in General Relativity who like to enter this field.
The Equations World (Dover Books on Mathematics)
by Boris PritskerEquations are the lifeblood of mathematics, science, and technology, and this book examines equations of all kinds. With his masterful ability to convey the excitement and elegance of mathematics, author Boris Pritsker explores equations from the simplest to the most complex—their history, their charm, and their usefulness in solving problems. The Equations World bridges the fields of algebra, geometry, number theory, and trigonometry, solving more than 280 problems by employing a wide spectrum of techniques. The author demystifies the subject with efficient hints, tricks, and methods that reveal the fun and satisfaction of problem solving. He also demonstrates how equations can serve as important tools for expressing a problem's data, showing the ways in which they assist in fitting parts together to solve the whole puzzle. In addition, brief historical tours reveal the foundations of mathematical thought by tracing the ideas and approaches developed by mathematicians over the centuries. Both recreational mathematicians and ambitious students will find this book an ample source of enlightenment and enjoyment.
Equibalancedistribution - asymmetrische Dichteverteilung: Alternative zur Gauß‘schen symmetrischen Normalverteilung (essentials)
by Marcus HellwigMarcus Hellwig zeigt, dass die kurzlich entwickelte Schiefe Verteilung, im Weiteren Equibalancedistribution (Eqb) genannt, fur die Uberprufung des Prozessverhaltens von Funkubertragungen verwendet werden kann. Beobachtet wird, dass nahezu jegliche Streuung von Messwerten um einen Mittelwert ungleich schief verteilt ist. Diesem Umstand soll die Eqb dadurch Rechnung tragen, dass sie im symmetrischen Zustand eine vollstandige Abbildung der Normalverteilung (NV) ist und die Summe der Wahrscheinlichkeitsdichte innerhalb der betrachteten Varianz gegen 1 konvergiert, gleich wie die Schiefen (asymmetrische Streuungen) links oder rechts des Mittelwertes (Erwartungswert m) positioniert sind. "
Equibalancedistribution (Eqbl) in der Analyse von Erdbebendaten: Einfluss des Risikos der Magnituden niederer Stärke auf spontane schwere Beben
by Marcus HellwigDas Buch beschreibt die Einschätzung des Risikos und der Wahrscheinlichkeit des Eintretens von Schäden gemäß Richterskala. Es erläutert die Verbindung der Wahrscheinlichkeitstheorie extremwertiger Prozesse mit Beispielen aus den Wissenschaften der Erdbebenbeobachtungen.
Equibalancedistribution (Eqbl) in the analysis of earthquake data: Influence of the risk of low magnitudes on spontaneous violent earthquakes
by Marcus HellwigThe book describes the assessment of the risk and probability of occurrence of damage according to the Richter scale. It explains the connection of the probability theory of extreme processes with examples from the sciences of earthquake observation. In contrast to many views, the present analysis takes into account the complete population of all measurement data of the magnitudes from 0 to the measured maximum
Equilibrium and Nonequilibrium Aspects of Phase Transitions in Quantum Physics (Springer Theses)
by Ricardo PueblaIn this book, the equilibrium and nonequilibrium properties of continuous phase transitions are studied in various systems, with a special emphasis on understanding how well-established universal traits at equilibrium may be extended into the dynamic realm, going beyond the paradigmatic Kibble–Zurek mechanism of defect formation. This book reports on the existence of a quantum phase transition in a system comprising just a single spin and a bosonic mode (the quantum Rabi model). Though critical phenomena are inherent to many-body physics, the author demonstrates that this small and ostensibly simple system allows us to explore the rich phenomenology of phase transitions, both in- and out-of-equilibrium. Moreover, the universal traits of this quantum phase transition may be realized in a single trapped-ion experiment, thus avoiding the need to scale up the number of constituents. In this system, the phase transition takes place in a suitable limit of system parameters rather than in the conventional thermodynamic limit – a novel notion that the author and his collaborators have dubbed the finite-component system phase transition. As such, the results gathered in this book will open promising new avenues in our understanding and exploration of quantum critical phenomena.
Equilibrium Compound Nucleus Post-Fission Theory
by Qing-Biao Shen Ye TianThis book proposes and develops the equilibrium compound nucleus post-fission theory, a powerful tool for studying the fission process and making numerical calculations of post-fission nuclear data. It begins with a detailed historical background on fission theory and covers fundamental concepts, such as the Bohr-Wheeler formula and time dependent nuclear density functional theory.The authors explain the kinematics of heavy-ion collisions and develop a heavy-ion spherical optical model. They also present the theoretical methods for calculating the yield, kinetic energy distribution, and angular distribution of fission fragments in the initial state of fission. In addition, readers are provided with the method for calculating the prompt neutron and prompt gamma-ray data as well as the proportion of the isomeric state nucleus and independent yield from the initial yield of the fission fragments. Using the nuclear decay data of the fission products, a method for calculating the cumulative yield and decay heat of the fission fragments is also given. A fission delayed neutron simplification model is proposed and the theoretical method for calculating the total contribution of three fission channels to post-fission nuclear data is provided.This book concludes with a step-by-step guide on numerical calculations for post-fission nuclear data and a Fortran program for optimizing the best theoretical model parameters. It is ideal for both junior and senior researchers in nuclear physics, as well as graduate students who are interested learning about the subject. Given the current interest in post-fission and the tremendous experimental and theoretical efforts in studying it, this book serves as a timely and comprehensive resource for the nuclear physics community.
Equilibrium Statistical Mechanics of Lattice Models
by David A. LavisMost interesting and difficult problems in equilibrium statistical mechanics concern models which exhibit phase transitions. For graduate students and more experienced researchers this book provides an invaluable reference source of approximate and exact solutions for a comprehensive range of such models. Part I contains background material on classical thermodynamics and statistical mechanics, together with a classification and survey of lattice models. The geometry of phase transitions is described and scaling theory is used to introduce critical exponents and scaling laws. An introduction is given to finite-size scaling, conformal invariance and Schramm--Loewner evolution. Part II contains accounts of classical mean-field methods. The parallels between Landau expansions and catastrophe theory are discussed and Ginzburg--Landau theory is introduced. The extension of mean-field theory to higher-orders is explored using the Kikuchi--Hijmans--De Boer hierarchy of approximations. In Part III the use of algebraic, transformation and decoration methods to obtain exact system information is considered. This is followed by an account of the use of transfer matrices for the location of incipient phase transitions in one-dimensionally infinite models and for exact solutions for two-dimensionally infinite systems. The latter is applied to a general analysis of eight-vertex models yielding as special cases the two-dimensional Ising model and the six-vertex model. The treatment of exact results ends with a discussion of dimer models. In Part IV series methods and real-space renormalization group transformations are discussed. The use of the De Neef--Enting finite-lattice method is described in detail and applied to the derivation of series for a number of model systems, in particular for the Potts model. The use of Pad\'e, differential and algebraic approximants to locate and analyze second- and first-order transitions is described. The realization of the ideas of scaling theory by the renormalization group is presented together with treatments of various approximation schemes including phenomenological renormalization. Part V of the book contains a collection of mathematical appendices intended to minimise the need to refer to other mathematical sources.
Equilibrium Statistical Physics: Phases, Phase Transitions, and Topological Phases
by Marc Baus Carlos F. TejeroThis is a textbook which gradually introduces the student to the statistical mechanical study of the different phases of matter and to the phase transitions between them. Throughout, only simple models of both ordinary and soft matter are used but these are studied in full detail. The subject is developed in a pedagogical manner, starting from the basics, going from the simple ideal systems to the interacting systems, and ending with the more modern topics. The textbook provides the student with a complete overview, intentionally at an introductory level, of the theory of phase transitions. All equations and deductions are included.