This two-volume work brings together a comprehensive selection of mathematical works from the period 1707-1930. During this time the foundations of modern mathematics were laid, and From Kant to Hilbert provides an overview of the foundational work in each of the main branches of mathmeatics with narratives showing how they were linked. Now available as a separate volume.
Immanuel Kant's Critique of Pure Reason is widely taken to be the starting point of the modern period of mathematics while David Hilbert was the last great mainstream mathematician to pursue important nineteenth cnetury ideas. This two-volume work provides an overview of this important era of mathematical research through a carefully chosen selection of articles. They provide an insight into the foundations of each of the main branches of mathematics—algebra, geometry, number theory, analysis, logic and set theory—with narratives to show how they are linked. Classic works by Bolzano, Riemann, Hamilton, Dedekind, and Poincare are reproduced in reliable translations and many selections from writers such as Gauss, Cantor, Kronecker and Zermelo are here translated for the first time. The collection is an invaluable source for anyone wishing to gain an understanding of the foundation of modern mathematics.
This two-volume work brings together a comprehensive selection of mathematical works from the period 1707-1930. During this time the foundations of modern mathematics were laid, and From Kant to Hilbert provides an overview of the foundational work in each of the main branches of mathmeatics with narratives showing how they were linked. Now available as a separate volume.
Immanuel Kant's Critique of Pure Reason is widely taken to be the starting point of the modern period of mathematics while David Hilbert was the last great mainstream mathematician to pursue important nineteenth cnetury ideas. This two-volume work provides an overview of this important era of mathematical research through a carefully chosen selection of articles. They provide an insight into the foundations of each of the main branches of mathematics—algebra, geometry, number theory, analysis, logic and set theory—with narratives to show how they are linked. Classic works by Bolzano, Riemann, Hamilton, Dedekind, and Poincare are reproduced in reliable translations and many selections from writers such as Gauss, Cantor, Kronecker and Zermelo are here translated for the first time. The collection is an invaluable source for anyone wishing to gain an understanding of the foundation of modern mathematics.
This volume explores the many different meanings of the notion of the axiomatic method, offering an insightful historical and philosophical discussion about how these notions changed over the millennia. The author, a well-known philosopher and historian of mathematics, first examines Euclid, who is considered the father of the axiomatic method, before moving onto Hilbert and Lawvere. He then presents a deep textual analysis of each writer and describes how their ideas are different and even how their ideas progressed over time. Next, the book explores category theory and details how it has revolutionized the notion of the axiomatic method. It considers the question of identity/equality in mathematics as well as examines the received theories of mathematical structuralism. In the end, Rodin presents a hypothetical New Axiomatic Method, which establishes closer relationships between mathematics and physics. Lawvere's axiomatization of topos theory and Voevodsky's axiomatization of higher homotopy theory exemplify a new way of axiomatic theory building, which goes beyond the classical Hilbert-style Axiomatic Method. The new notion of Axiomatic Method that emerges in categorical logic opens new possibilities for using this method in physics and other natural sciences. This volume offers readers a coherent look at the past, present and anticipated future of the Axiomatic Method.
Philosophers often have tried to either reduce "disagreeable" objects or concepts to (more) acceptable objects or concepts. Reduction is regarded attractive by those who subscribe to an ideal of ontological parsimony. But the topic is not just restricted to traditional metaphysics or ontology. In the philosophy of mathematics, abstraction principles, such as Hume's principle, have been suggested to support a reconstruction of mathematics by logical means only. In the philosophy of language and the philosophy of science, the logical analysis of language has long been regarded to be the dominating paradigm, and liberalized projects of logical reconstruction remain to be driving forces of modern philosophy. This volume collects contributions comprising all those topics, including articles by Alexander Bird, Jaakko Hintikka, James Ladyman, Rohit Parikh, Gerhard Schurz, Peter Simons, Crispin Wright and Edward N. Zalta.
Immanuel Kant's Critique of Pure Reason is widely taken to be the starting point of the modern period of mathematics while David Hilbert was the last great mainstream mathematician to pursue important nineteenth cnetury ideas. This two-volume work provides an overview of this important era of mathematical research through a carefully chosen selection of articles. They provide an insight into the foundations of each of the main branches of mathematics—algebra, geometry, number theory, analysis, logic and set theory—with narratives to show how they are linked. Classic works by Bolzano, Riemann, Hamilton, Dedekind, and Poincare are reproduced in reliable translations and many selections from writers such as Gauss, Cantor, Kronecker and Zermelo are here translated for the first time. The collection is an invaluable source for anyone wishing to gain an understanding of the foundation of modern mathematics.
Katherine Sonderegger follows her monumental volume on the doctrine of God with this second entry of her Systematic Theology, which explores the doctrine of the Holy Trinity. Locating her analysis first in the Hebrew Scriptures, Sonderegger examines the thrice-holy God that is proclaimed to Isaiah in the sanctuary and manifested in the sacrifice of the temple. The book of Leviticus, read in conversation with Exodus, unfolds the doctrine of the Trinity under the character of holiness. In the One God, Trinity speaks of the life, movement, and self-offering of God, who is the eternal procession of goodness and light. In Israel's sacrificial covenant, the Triune God is perfect self-offering: the eternal descent of the Father of Lights is the offering who is Son, eternally received and hallowed in the one who is Spirit. Anchoring the theology of the Trinity in Israel's Scriptures in this way elevates the processions over the persons, exploring the mystery of the Divine Life as holy, rational, and good. The Divine Persons, named in the New Testament, cannot be defined but may be glimpsed in the notion of perfection, a complete and perfect infinite set. In all these ways, the Holy Trinity may be praised as the deep reality of the life of God.
This monograph addresses the question of the increasing irrelevance of philosophy, which has seen scientists as well as philosophers concluding that philosophy is dead and has dissolved into the sciences. It seeks to answer the question of whether or not philosophy can still be fruitful and what kind of philosophy can be such. The author argues that from its very beginning philosophy has focused on knowledge and methods for acquiring knowledge. This view, however, has generally been abandoned in the last century with the belief that, unlike the sciences, philosophy makes no observations or experiments and requires only thought. Thus, in order for philosophy to once again be relevant, it needs to return to its roots and focus on knowledge as well as methods for acquiring knowledge. Accordingly, this book deals with several questions about knowledge that are essential to this view of philosophy, including mathematical knowledge. Coverage examines such issues as the nature of knowledge; plausibility and common sense; knowledge as problem solving; modeling scientific knowledge; mathematical objects, definitions, diagrams; mathematics and reality; and more. This monograph presents a new approach to philosophy, epistemology, and the philosophy of mathematics. It will appeal to graduate students and researchers with interests in the role of knowledge, the analytic method, models of science, and mathematics and reality.
This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.
Part of a two-volume set which contains principal texts on the foundations of mathematics from the late 18th century to the early 20th century. Many essays are translated here into English for the first time.
This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. trigger
