- Table View
- List View
Proof Technology in Mathematics Research and Teaching (Mathematics Education in the Digital Era #14)
by Gila Hanna David A. Reid Michael De VilliersThis book presents chapters exploring the most recent developments in the role of technology in proving. The full range of topics related to this theme are explored, including computer proving, digital collaboration among mathematicians, mathematics teaching in schools and universities, and the use of the internet as a site of proof learning. Proving is sometimes thought to be the aspect of mathematical activity most resistant to the influence of technological change. While computational methods are well known to have a huge importance in applied mathematics, there is a perception that mathematicians seeking to derive new mathematical results are unaffected by the digital era. The reality is quite different. Digital technologies have transformed how mathematicians work together, how proof is taught in schools and universities, and even the nature of proof itself. Checking billions of cases in extremely large but finite sets, impossible a few decades ago, has now become a standard method of proof. Distributed proving, by teams of mathematicians working independently on sections of a problem, has become very much easier as digital communication facilitates the sharing and comparison of results. Proof assistants and dynamic proof environments have influenced the verification or refutation of conjectures, and ultimately how and why proof is taught in schools. And techniques from computer science for checking the validity of programs are being used to verify mathematical proofs. Chapters in this book include not only research reports and case studies, but also theoretical essays, reviews of the state of the art in selected areas, and historical studies. The authors are experts in the field.
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
by Katalin BimboAlthough sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi
Proof Theory: Second Edition (Dover Books on Mathematics #Volume 81)
by Gaisi TakeutiFocusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerstone for any library in mathematical logic and related topics.The three-part treatment begins with an exploration of first order systems, including a treatment of predicate calculus involving Gentzen's cut-elimination theorem and the theory of natural numbers in terms of Gödel's incompleteness theorem and Gentzen's consistency proof. The second part, which considers second order and finite order systems, covers simple type theory and infinitary logic. The final chapters address consistency problems with an examination of consistency proofs and their applications.
Proof Theory and Algebra in Logic (Short Textbooks in Logic)
by Hiroakira OnoThis book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been increasingly recognized in recent years. It highlights the contrasts between the deep, concrete results using the former and the general, abstract ones using the latter. Covering modal logics, many-valued logics, superintuitionistic and substructural logics, together with their algebraic semantics, the book also provides an introduction to nonclassical logic for undergraduate or graduate level courses.The book is divided into two parts: Proof Theory in Part I and Algebra in Logic in Part II. Part I presents sequent systems and discusses cut elimination and its applications in detail. It also provides simplified proof of cut elimination, making the topic more accessible. The last chapter of Part I is devoted to clarification of the classes of logics that are discussed in the second part. Part II focuses on algebraic semantics for these logics. At the same time, it is a gentle introduction to the basics of algebraic logic and universal algebra with many examples of their applications in logic. Part II can be read independently of Part I, with only minimum knowledge required, and as such is suitable as a textbook for short introductory courses on algebra in logic.
A Proof Theory for Description Logics (SpringerBriefs in Computer Science)
by Alexandre RademakerDescription Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge. A Proof Theory for Description Logics introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). Cut-elimination and Normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes.
Proofiness
by Charles SeifeThe bestselling author of Zero shows how mathematical misinformation pervades-and shapes-our daily lives. According to MSNBC, having a child makes you stupid. You actually lose IQ points. Good Morning America has announced that natural blondes will be extinct within two hundred years. Pundits estimated that there were more than a million demonstrators at a tea party rally in Washington, D.C., even though roughly sixty thousand were there. Numbers have peculiar powers-they can disarm skeptics, befuddle journalists, and hoodwink the public into believing almost anything. "Proofiness," as Charles Seife explains in this eye-opening book, is the art of using pure mathematics for impure ends, and he reminds readers that bad mathematics has a dark side. It is used to bring down beloved government officials and to appoint undeserving ones (both Democratic and Republican), to convict the innocent and acquit the guilty, to ruin our economy, and to fix the outcomes of future elections. This penetrating look at the intersection of math and society will appeal to readers of Freakonomics and the books of Malcolm Gladwell.
Proofiness
by Charles SeifeThe bestselling author of Zero shows how mathematical misinformation pervades-and shapes-our daily lives. According to MSNBC, having a child makes you stupid. You actually lose IQ points. Good Morning America has announced that natural blondes will be extinct within two hundred years. Pundits estimated that there were more than a million demonstrators at a tea party rally in Washington, D. C. , even though roughly sixty thousand were there. Numbers have peculiar powers-they can disarm skeptics, befuddle journalists, and hoodwink the public into believing almost anything. "Proofiness," as Charles Seife explains in this eye-opening book, is the art of using pure mathematics for impure ends, and he reminds readers that bad mathematics has a dark side. It is used to bring down beloved government officials and to appoint undeserving ones (both Democratic and Republican), to convict the innocent and acquit the guilty, to ruin our economy, and to fix the outcomes of future elections. This penetrating look at the intersection of math and society will appeal to readers of Freakonomics and the books of Malcolm Gladwell. .
Proofs 101: An Introduction to Formal Mathematics
by Joseph KirtlandProofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least Calculus I and II) and a first course in linear algebra. The book prepares students for the proofs they will need to analyze and write the axiomatic nature of mathematics and the rigors of upper-level mathematics courses. Basic number theory, relations, functions, cardinality, and set theory will provide the material for the proofs and lay the foundation for a deeper understanding of mathematics, which students will need to carry with them throughout their future studies. Features Designed to be teachable across a single semester Suitable as an undergraduate textbook for Introduction to Proofs or Transition to Advanced Mathematics courses Offers a balanced variety of easy, moderate, and difficult exercises
Proofs and Algorithms
by Gilles DowekLogic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation. Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, Gödel's incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth itself. Designed for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic.
Proofs and Refutations
by John Worrall Lakatos Imre Zahar Elie Imre Lakatos Elie ZaharImre Lakatos's Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form of a dialogue between a teacher and some students, the book considers various solutions to mathematical problems and, in the process, raises important questions about the nature of mathematical discovery and methodology. Lakatos shows that mathematics grows through a process of improvement by attempts at proofs and critiques of these attempts, and his work continues to inspire mathematicians and philosophers aspiring to develop a philosophy of mathematics that accounts for both the static and the dynamic complexity of mathematical practice. With a specially commissioned Preface written by Paolo Mancosu, this book has been revived for a new generation of readers.
Proofs and Refutations
by John Worrall Elie ZaharProofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre Lakatos is concerned throughout to combat the classical picture of mathematical development as a steady accumulation of established truths. He shows that mathematics grows instead through a richer, more dramatic process of the successive improvement of creative hypotheses by attempts to 'prove' them and by criticism of these attempts: the logic of proofs and refutations.
Proofs of the Cantor-Bernstein Theorem
by Arie HinkisThis book offers an excursion through the developmental area of research mathematics. It presents some 40 papers, published between the 1870s and the 1970s, on proofs of the Cantor-Bernstein theorem and the related Bernstein division theorem. While the emphasis is placed on providing accurate proofs, similar to the originals, the discussion is broadened to include aspects that pertain to the methodology of the development of mathematics and to the philosophy of mathematics. Works of prominent mathematicians and logicians are reviewed, including Cantor, Dedekind, Schröder, Bernstein, Borel, Zermelo, Poincaré, Russell, Peano, the Königs, Hausdorff, Sierpinski, Tarski, Banach, Brouwer and several others mainly of the Polish and the Dutch schools. In its attempt to present a diachronic narrative of one mathematical topic, the book resembles Lakatos' celebrated book Proofs and Refutations. Indeed, some of the observations made by Lakatos are corroborated herein. The analogy between the two books is clearly anything but superficial, as the present book also offers new theoretical insights into the methodology of the development of mathematics (proof-processing), with implications for the historiography of mathematics.
Propagation Dynamics on Complex Networks
by Guanrong Chen Michael Small Xinchu FuExplores the emerging subject of epidemic dynamics on complex networks, including theories, methods, and real-world applicationsThroughout history epidemic diseases have presented a serious threat to human life, and in recent years the spread of infectious diseases such as dengue, malaria, HIV, and SARS has captured global attention; and in the modern technological age, the proliferation of virus attacks on the Internet highlights the emergent need for knowledge about modeling, analysis, and control in epidemic dynamics on complex networks. For advancement of techniques, it has become clear that more fundamental knowledge will be needed in mathematical and numerical context about how epidemic dynamical networks can be modelled, analyzed, and controlled. This book explores recent progress in these topics and looks at issues relating to various epidemic systems.Propagation Dynamics on Complex Networks covers most key topics in the field, and will provide a valuable resource for graduate students and researchers interested in network science and dynamical systems, and related interdisciplinary fields.Key Features:Includes a brief history of mathematical epidemiology and epidemic modeling on complex networks.Explores how information, opinion, and rumor spread via the Internet and social networks.Presents plausible models for propagation of SARS and avian influenza outbreaks, providing a reality check for otherwise abstract mathematical modeling.Considers various infectivity functions, including constant, piecewise-linear, saturated, and nonlinear cases.Examines information transmission on complex networks, and investigates the difference between information and epidemic spreading.
Propagation of Multidimensional Nonlinear Waves and Kinematical Conservation Laws (Infosys Science Foundation Series)
by Phoolan PrasadThis book formulates the kinematical conservation laws (KCL), analyses them and presents their applications to various problems in physics. Finally, it addresses one of the most challenging problems in fluid dynamics: finding successive positions of a curved shock front. The topics discussed are the outcome of collaborative work that was carried out mainly at the Indian Institute of Science, Bengaluru, India. The theory presented in the book is supported by referring to extensive numerical results.The book is organised into ten chapters. Chapters 1–4 offer a summary of and briefly discuss the theory of hyperbolic partial differential equations and conservation laws. Formulation of equations of a weakly nonlinear wavefront and those of a shock front are briefly explained in Chapter 5, while Chapter 6 addresses KCL theory in space of arbitrary dimensions. The remaining chapters examine various analyses and applications of KCL equations ending in the ultimate goal-propagation of a three-dimensional curved shock front and formation, propagation and interaction of kink lines on it.
The Proper Generalized Decomposition for Advanced Numerical Simulations
by Francisco Chinesta Roland Keunings Adrien LeygueMany problems in scientific computing are intractable with classical numerical techniques. These fail, for example, in the solution of high-dimensional models due to the exponential increase of the number of degrees of freedom. Recently, the authors of this book and their collaborators have developed a novel technique, called Proper Generalized Decomposition (PGD) that has proven to be a significant step forward. The PGD builds by means of a successive enrichment strategy a numerical approximation of the unknown fields in a separated form. Although first introduced and successfully demonstrated in the context of high-dimensional problems, the PGD allows for a completely new approach for addressing more standard problems in science and engineering. Indeed, many challenging problems can be efficiently cast into a multi-dimensional framework, thus opening entirely new solution strategies in the PGD framework. For instance, the material parameters and boundary conditions appearing in a particular mathematical model can be regarded as extra-coordinates of the problem in addition to the usual coordinates such as space and time. In the PGD framework, this enriched model is solved only once to yield a parametric solution that includes all particular solutions for specific values of the parameters. The PGD has now attracted the attention of a large number of research groups worldwide. The present text is the first available book describing the PGD. It provides a very readable and practical introduction that allows the reader to quickly grasp the main features of the method Throughout the book, the PGD is applied to problems of increasing complexity, and the methodology is illustrated by means of carefully selected numerical examples. Moreover, the reader has free access to the Matlab© software used to generate these examples.
Proper Generalized Decompositions
by Elías Cueto David González Icíar AlfaroThis book is intended to help researchers overcome the entrance barrier to Proper Generalized Decomposition (PGD), by providing a valuable tool to begin the programming task. Detailed Matlab Codes are included for every chapter in the book, in which the theory previously described is translated into practice. Examples include parametric problems, non-linear model order reduction and real-time simulation, among others. Proper Generalized Decomposition (PGD) is a method for numerical simulation in many fields of applied science and engineering. As a generalization of ProperOrthogonal Decomposition or Principal Component Analysis to an arbitrary numberof dimensions, PGD is able to provide the analyst with very accurate solutionsfor problems defined in high dimensional spaces, parametric problems and evenreal-time simulation.
Properly Colored Connectivity of Graphs (SpringerBriefs in Mathematics)
by Zhongmei Qin Colton Magnant Xueliang LiA comprehensive survey of proper connection of graphs is discussed in this book with real world applications in computer science and network security. Beginning with a brief introduction, comprising relevant definitions and preliminary results, this book moves on to consider a variety of properties of graphs that imply bounds on the proper connection number. Detailed proofs of significant advancements toward open problems and conjectures are presented with complete references. Researchers and graduate students with an interest in graph connectivity and colorings will find this book useful as it builds upon fundamental definitions towards modern innovations, strategies, and techniques. The detailed presentation lends to use as an introduction to proper connection of graphs for new and advanced researchers, a solid book for a graduate level topics course, or as a reference for those interested in expanding and further developing research in the area.
Properties of QCD Matter at High Baryon Density
by Xiaofeng Luo Qun Wang Nu Xu Pengfei ZhuangThis book highlights the discussions by renown researchers on questions emerged during transition from the relativistic heavy-ion collider (RHIC) to the future electron ion collider (EIC). Over the past two decades, the RHIC has provided a vast amount of data over a wide range of the center of mass energies. What are the scientific priorities, after RHIC is shut down and turned to the future EIC? What should be the future focuses of the high-energy nuclear collisions? What are thermodynamic properties of quantum chromodynamics (QCD) at large baryon density? Where is the phase boundary between quark-gluon-plasma and hadronic matter at high baryon density? How does one make connections from thermodynamics learned in high-energy nuclear collisions to astrophysical topics, to name few, the inner structure of compact stars, and perhaps more interestingly, the dynamical processes of the merging of neutron stars? While most particle physicists are interested in Dark Matter, we should focus on the issues of Visible Matter! Multiple heavy-ion accelerator complexes are under construction: NICA at JINR (4 ~ 11 GeV), FAIR at GSI (2 ~ 4.9 GeV SIS100), HIAF at IMP (2 ~ 4 GeV). In addition, the heavy-ion collision has been actively discussed at the J-PARC. The book is a collective work of top researchers from the field where some of the above-mentioned basic questions will be addressed. We believe that answering those questions will certainly advance our understanding of the phase transition in early universe as well as its evolution that leads to today's world of nature.
Properties, Powers and Structures: Issues in the Metaphysics of Realism (Routledge Studies in Metaphysics)
by Brian Ellis Alexander Bird Howard SankeyWhile the phrase "metaphysics of science" has been used from time to time, it has only recently begun to denote a specific research area where metaphysics meets philosophy of science—and the sciences themselves. The essays in this volume demonstrate that metaphysics of science is an innovative field of research in its own right. The principle areas covered are: The modal metaphysics of properties: What is the essential nature of natural properties? Are all properties essentially categorical? Are they all essentially dispositions, or are some categorical and others dispositional? Realism in mathematics and its relation to science: What does a naturalistic commitment of scientific realism tell us about our commitments to mathematical entities? Can this question be framed in something other than a Quinean philosophy? Dispositions and their relation to causation: Can we generate an account of causation that takes dispositionality as fundamental? And if we take dispositions as fundamental (and hence not having a categorical causal basis), what is the ontological ground of dispositions? Pandispositionalism: Could all properties be dispositional in nature? Natural kinds: Are there natural kinds, and if so what account of their nature should we give? For example, do they have essences? Here we consider how these issues may be illuminated by considering examples from reals science, in particular biochemistry and neurobiology.
Proportional Representation
by Friedrich PukelsheimThe book offers a rigorous description of the procedures that proportional representation systems use to translate vote counts into seat numbers. Since the methodological analysis is guided by practical needs, plenty of empirical instances are provided and reviewed to motivate the development, and to illustrate the results. Concrete examples, like the 2009 elections to the European Parliament in each of the 27 Member States and the 2013 election to the German Bundestag, are analyzed in full detail. The level of mathematical exposition, as well as the relation to political sciences and constitutional jurisprudence makes this book suitable for special graduate courses and seminars.
Proportionen und ihre Musik: Was Brüche und Tonfolgen miteinander zu tun haben
by Karlheinz SchüfflerKlänge können harmonisch sein, Zahlenfolgen auch – ein Zufall? Dieses Buch behandelt eine musikalische Proportionenlehre, also die antike Lehre der Proportionen als die älteste und wichtigste gemeinsame Verankerung der beiden Kulturwissenschaften Mathematik und Musik. Die Musiktheorie der Töne, Intervalle, Tetrachorde, Klänge und Skalen ist nämlich das genaue musikalische Abbild der Gesetze der Arithmetik und ihrer Symmetrien in dem Regelwerk des Spiels mit Zahlen, ihren Proportionen und ihren Medietäten. Alleine schon das Wunder der sogenannten Harmonia perfecta maxima 6 – 8 – 9 – 12, deren Proportionen die Quinte sowie die Quarte bestimmen, die Oktave bilden und den ehernen Ganzton in ihrer Mitte haben, prägte das musikalische Gebäude der pythagoräischen Musik über Jahrtausende. Diese elementare Proportionenkette 6 : 8 : 9 : 12 ist zudem vollkommen symmetrisch und aus der arithmetischen wie auch aus der harmonischen Medietät der Oktavzahlen 6 und 12 aufgebaut. Dieses Buch entwickelt die Proportionenlehre als eine mathematische Wissenschaft und stellt ihr immer die musikalische Motivierung mittels zahlreicher Beispiele gegenüber. Die Leitidee ist die Herleitung einer Symmetrietheorie von der Harmonia perfecta maxima bis hin zur Harmonia perfecta infinita abstracta, einem Prozess unbeschränkter Tongenerierungen durch babylonische Mittelwerte-Iterationen. Dabei wird hieraus simultan sowohl die klassisch-antike Diatonik gewonnen als auch der Weg „vom Monochord zur Orgel“ neu beleuchtet. Das Werk enthält schließlich eine von der Mathematik geleitete Hinführung zu der antiken Tetrachordik wie auch zu den kirchentonalen Skalen und schließt mit einem Exkurs in die Klangwelten der Orgel. Hierbei führt uns die „Fußzahlregel der Orgel“ anhand von Beispielen in die Welt der klanglichen Dispositionen dieses Instruments und zeigt die Allgegenwärtigkeit der antiken Proportionenlehre auf. Dieses Buch eignet sich für alle, die Interesse an Mathematik und Musik haben.
Proportions and Their Music: What Fractions and Tone Sequences Have to Do with Each Other
by Karlheinz SchüfflerSounds can be harmonic, number sequences too - a coincidence?This book deals with a musical theory of proportions, i.e. the ancient doctrine of proportions as the oldest and most important common anchorage of the two cultural sciences mathematics and music.The musical theory of tones, intervals, tetrachords, sounds and scales is in fact the exact musical image of the laws of arithmetic and its symmetries in the set of rules of playing with numbers, their proportions and their medievals. Alone the miracle of the so-called Harmonia perfecta maxima 6 - 8 - 9 - 12, whose proportions determine the fifth as well as the fourth, form the octave and have the brazen whole tone in their center, shaped the musical edifice of Pythagorean music for thousands of years. This elementary chain of proportions 6 : 8 : 9 : 12 is, moreover, completely symmetrical and built up from the arithmetic as well as from the harmonic medieta of the octave numbers 6 and 12.This book develops the theory of proportions as a mathematical science and always contrasts it with the musical motivation by means of numerous examples. The main idea is the derivation of a theory of symmetry from the Harmonia perfecta maxima to the Harmonia perfecta infinita abstracta, a process of unlimited tone generations by Babylonian mean iterations. From this, both the classical-antique diatonic is simultaneously extracted and the path "from the monochord to the organ" is re-examined.Finally, the work contains a mathematically guided introduction to the ancient tetrachordics as well as to the church tonal scales and concludes with an excursion into the sound worlds of the organ. Here the "foot-number rule of the organ" leads us by means of examples into the world of the tonal dispositions of this instrument and shows the omnipresence of the ancient theory of proportions. This book is suitable for anyone with an interest in mathematics and music.This book is a translation of the original German 1st edition Proportionen und ihre Musik by Karlheinz Schüffler, Springer-Verlag GmbH Germany, part of Springer Nature in 2019. 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.
Prospect Theory
by Peter P. WakkerProspect Theory: For Risk and Ambiguity provides the first comprehensive and accessible textbook treatment of the way decisions are made both when we have the statistical probabilities associated with uncertain future events (risk) and when we lack them (ambiguity). The book presents models, primarily prospect theory, that are both tractable and psychologically realistic. A method of presentation is chosen that makes the empirical meaning of each theoretical model completely transparent. Prospect theory has many applications in a wide variety of disciplines. The material in the book has been carefully organized to allow readers to select pathways through the book relevant to their own interests. With numerous exercises and worked examples, the book is ideally suited to the needs of students taking courses in decision theory in economics, mathematics, finance, psychology, management science, health, computer science, Bayesian statistics, and engineering.
Prospective Longevity: A New Vision of Population Aging
by Warren C. Sanderson Sergei ScherbovWarren Sanderson and Sergei Scherbov argue for a new way to measure individual and population aging. Instead of counting how many years we’ve lived, we should think about our “prospective age”—the number of years we expect to have left. Their pioneering model can generate better demographic estimates, which inform better policy choices.
Prosperous Paupers and Other Population Problems
by Nicholas EberstadtIn current intellectual and public discourse, the entire modern world-from the affluent United States to the poorest low-income regions-is beset today by a broad and alarming array of "population problems." Around the globe, leading scientists, academics, and political figures attribute poverty, hunger, social tension, and even political conflict t