The Nature of Mathematical Proof and the Transmission of the Calculus from India to Europe in the 16th C. CEAuthor: C. K. RajuPublisher: Pearson Education IndiaISBN: 9788131708712Category: CalculusPage: 477View: 9262

The Volume Examines, In Depth, The Implications Of Indian History And Philosophy For Contemporary Mathematics And Science. The Conclusions Challenge Current Formal Mathematics And Its Basis In The Western Dogma That Deduction Is Infallible (Or That It Is Less Fallible Than Induction). The Development Of The Calculus In India, Over A Thousand Years, Is Exhaustively Documented In This Volume, Along With Novel Insights, And Is Related To The Key Sources Of Wealth-Monsoon-Dependent Agriculture And Navigation Required For Overseas Trade - And The Corresponding Requirement Of Timekeeping. Refecting The Usual Double Standard Of Evidence Used To Construct Eurocentric History, A Single, New Standard Of Evidence For Transmissions Is Proposed. Using This, It Is Pointed Out That Jesuits In Cochin, Following The Toledo Model Of Translation, Had Long-Term Opportunity To Transmit Indian Calculus Texts To Europe. The European Navigational Problem Of Determining Latitude, Longitude, And Loxodromes, And The 1582 Gregorian Calendar-Reform, Provided Ample Motivation. The Mathematics In These Earlier Indian Texts Suddenly Starts Appearing In European Works From The Mid-16Th Century Onwards, Providing Compelling Circumstantial Evidence. While The Calculus In India Had Valid Pramana, This Differed From Western Notions Of Proof, And The Indian (Algorismus) Notion Of Number Differed From The European (Abacus) Notion. Hence, Like Their Earlier Difficulties With The Algorismus, Europeans Had Difficulties In Understanding The Calculus, Which, Like Computer Technology, Enhanced The Ability To Calculate, Albeit In A Way Regarded As Epistemologically Insecure. Present-Day Difficulties In Learning Mathematics Are Related, Via Phylogeny Is Ontogeny , To These Historical Difficulties In Assimilating Imported Mathematics. An Appendix Takes Up Further Contemporary Implications Of The New Philosophy Of Mathematics For The Extension Of The Calculus, Which Is Needed To Handle The Infinities Arising In The Study Of Shock Waves And The Renormalization Problem Of Quantum Field Theory.

A sophisticated, original introduction to the philosophy of mathematics from one of its leading contemporary scholars Mathematics is one of humanity's most successful yet puzzling endeavors. It is a model of precision and objectivity, but appears distinct from the empirical sciences because it seems to deliver nonexperiential knowledge of a nonphysical reality of numbers, sets, and functions. How can these two aspects of mathematics be reconciled? This concise book provides a systematic yet accessible introduction to the field that is trying to answer that question: the philosophy of mathematics. Written by Øystein Linnebo, one of the world's leading scholars on the subject, the book introduces all of the classical approaches to the field, including logicism, formalism, intuitionism, empiricism, and structuralism. It also contains accessible introductions to some more specialized issues, such as mathematical intuition, potential infinity, the iterative conception of sets, and the search for new mathematical axioms. The groundbreaking work of German mathematician and philosopher Gottlob Frege, one of the founders of analytic philosophy, figures prominently throughout the book. Other important thinkers whose work is introduced and discussed include Immanuel Kant, John Stuart Mill, David Hilbert, Kurt Gödel, W. V. Quine, Paul Benacerraf, and Hartry H. Field. Sophisticated but clear and approachable, this is an essential introduction for all students and teachers of philosophy, as well as mathematicians and others who want to understand the foundations of mathematics.

This collection of papers from various areas of mathematical logic showcases the remarkable breadth and richness of the field. Leading authors reveal how contemporary technical results touch upon foundational questions about the nature of mathematics. Highlights of the volume include: a history of Tennenbaum's theorem in arithmetic; a number of papers on Tennenbaum phenomena in weak arithmetics as well as on other aspects of arithmetics, such as interpretability; the transcript of Gödel's previously unpublished 1972–1975 conversations with Sue Toledo, along with an appreciation of the same by Curtis Franks; Hugh Woodin's paper arguing against the generic multiverse view; Anne Troelstra's history of intuitionism through 1991; and Aki Kanamori's history of the Suslin problem in set theory. The book provides a historical and philosophical treatment of particular theorems in arithmetic and set theory, and is ideal for researchers and graduate students in mathematical logic and philosophy of mathematics.

This monograph considers systems of infinite number of particles, in particular the justification of the procedure of thermodynamic limit transition. The authors discuss the equilibrium and non-equilibrium states of infinite classical statistical systems. Those states are defined in terms of stationary and nonstationary solutions to the Bogolyubov equations for the sequences of correlation functions in the thermodynamic limit. This is the first detailed investigation of the thermodynamic limit for non-equilibrium systems and of the states of infinite systems in the cases of both canonical and grand canonical ensembles, for which the thermodynamic equivalence is proved. A comprehensive survey of results is also included; it concerns the properties of correlation functions for infinite systems and the corresponding equations. For this new edition, the authors have made changes to reflect the development of theory in the last ten years. They have also simplified certain sections, presenting them more systematically, and greatly increased the number of references. The book is aimed at theoretical physicists and mathematicians and will also be of use to students and postgraduate students in the field.

The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broad spectrum of results in logic and set theory that are relevant to the foundations, as well as the results in computational complexity and the interdisciplinary area of proof complexity. The author presents his ideas on how these areas are connected, what are the most fundamental problems and how they should be approached. In particular, he argues that complexity is as important for foundations as are the more traditional concepts of computability and provability. Emphasis is on explaining the essence of concepts and the ideas of proofs, rather than presenting precise formal statements and full proofs. Each section starts with concepts and results easily explained, and gradually proceeds to more difficult ones. The notes after each section present some formal definitions, theorems and proofs. Logical Foundations of Mathematics and Computational Complexity is aimed at graduate students of all fields of mathematics who are interested in logic, complexity and foundations. It will also be of interest for both physicists and philosophers who are curious to learn the basics of logic and complexity theory.

"Intuition" has perhaps been the least understood and the most abused term in philosophy. It is often the term used when one has no plausible explanation for the source of a given belief or opinion. According to some sceptics, it is understood only in terms of what it is not, and it is not any of the better understood means for acquiring knowledge. In mathematics the term has also unfortunately been used in this way. Thus, intuition is sometimes portrayed as if it were the Third Eye, something only mathematical "mystics", like Ramanujan, possess. In mathematics the notion has also been used in a host of other senses: by "intuitive" one might mean informal, or non-rigourous, or visual, or holistic, or incomplete, or perhaps even convincing in spite of lack of proof. My aim in this book is to sweep all of this aside, to argue that there is a perfectly coherent, philosophically respectable notion of mathematical intuition according to which intuition is a condition necessary for mathemati cal knowledge. I shall argue that mathematical intuition is not any special or mysterious kind of faculty, and that it is possible to make progress in the philosophical analysis of this notion. This kind of undertaking has a precedent in the philosophy of Kant. While I shall be mostly developing ideas about intuition due to Edmund Husser! there will be a kind of Kantian argument underlying the entire book.

In his long-awaited new edition of Philosophy of Mathematics, James Robert Brown tackles important new as well as enduring questions in the mathematical sciences. Can pictures go beyond being merely suggestive and actually prove anything? Are mathematical results certain? Are experiments of any real value? This clear and engaging book takes a unique approach, encompassing non-standard topics such as the role of visual reasoning, the importance of notation, and the place of computers in mathematics, as well as traditional topics such as formalism, Platonism, and constructivism. The combination of topics and clarity of presentation make it suitable for beginners and experts alike. The revised and updated second edition of Philosophy of Mathematics contains more examples, suggestions for further reading, and expanded material on several topics including a novel approach to the continuum hypothesis.

"Mathematics can be as effortless as humming a tune, if you know the tune," writes Gareth Loy. In Musimathics, Loy teaches us the tune, providing a friendly and spirited tour of the mathematics of music--a commonsense, self-contained introduction for the nonspecialist reader. It is designed for musicians who find their art increasingly mediated by technology, and for anyone who is interested in the intersection of art and science.In this volume, Loy presents the materials of music (notes, intervals, and scales); the physical properties of music (frequency, amplitude, duration, and timbre); the perception of music and sound (how we hear); and music composition. Musimathics is carefully structured so that new topics depend strictly on topics already presented, carrying the reader progressively from basic subjects to more advanced ones. Cross-references point to related topics and an extensive glossary defines commonly used terms. The book explains the mathematics and physics of music for the reader whose mathematics may not have gone beyond the early undergraduate level. Calling himself "a composer seduced into mathematics," Loy provides answers to foundational questions about the mathematics of music accessibly yet rigorously. The topics are all subjects that contemporary composers, musicians, and musical engineers have found to be important. The examples given are all practical problems in music and audio. The level of scholarship and the pedagogical approach also make Musimathics ideal for classroom use. Additional material can be found at a companion web site.

This volume contains the Proceedings of an International Conference on Noncommutative Rings and Their Applications, held July 1-4, 2013, at the Universite d'Artois, Lens, France. It presents recent developments in the theories of noncommutative rings and modules over such rings as well as applications of these to coding theory, enveloping algebras, and Leavitt path algebras. Material from the course ``Foundations of Algebraic Coding Theory``, given by Steven Dougherty, is included and provides the reader with the history and background of coding theory as well as the interplay between coding theory and algebra. In module theory, many new results related to (almost) injective modules, injective hulls and automorphism-invariant modules are presented. Broad generalizations of classical projective covers are studied and category theory is used to describe the structure of some modules. In some papers related to more classical ring theory such as quasi duo rings or clean elements, new points of view on classical conjectures and standard open problems are given. Descriptions of codes over local commutative Frobenius rings are discussed, and a list of open problems in coding theory is presented within their context.

This volume discusses various aspects of Harvey Friedman's research in the foundations of mathematics over the past fifteen years. It should appeal to a wide audience of mathematicians, computer scientists, and mathematically oriented philosophers.

In this brief treatise, Carus traces the roots of his belief in the philosophical basis for mathematics and analyzes that basis after a historical overview of Euclid and his successors. He then examines his base argument and proceeds to a study of different geometrical systems, all pulled together in his epilogue, which examines matter, mathematics, and, ultimately, the nature of God.

This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic and combines Fermat’s method of infinite descent with Kronecker’s general arithmetic of homogeneous polynomials. The book also includes a treatment of theories in physics and mathematical physics to underscore the role of arithmetic from a constructivist viewpoint. The scope of the work intertwines historical, mathematical, logical and philosophical dimensions in a unified critical perspective; as such, it will appeal to a broad readership from mathematicians to logicians, to philosophers interested in foundational questions. Researchers and graduate students in the fields of philosophy and mathematics will benefit from the author’s critical approach to the foundations of logic and mathematics.