{"product_id":"from-frege-to-godel-a-source-book-in-mathematical-logic-18791931-9780674324497","title":"From Frege to Godel  A Source Book in","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eGathered together here are the fundamental texts of the great classical period in modern logic. A complete translation of Gottlob Frege’s \u003ci\u003eBegriffsschrift\u003c\/i\u003e—which opened a great epoch in the history of logic by fully presenting propositional calculus and quantification theory—begins the volume, which concludes with papers by Herbrand and by Gödel.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTrade Review\u003c\/b\u003e\u003cbr\u003eIt is difficult to describe this book without praising it… [\u003ci\u003eFrom Frege to Gödel\u003c\/i\u003e] is, in effect, the record of an important chapter in the history of thought. No serious student of logic or foundations of mathematics will want to be without it. * Review of Metaphysics *\u003cbr\u003eThere can be no doubt that the book is a valuable contribution to the logical literature and that it will certainly spread the knowledge of mathematical logic and its history in the nineteenth and twentieth centuries. -- Andrzej Mostowski * Synthese *\u003cbr\u003eJean van Heijenoort’s \u003ci\u003eSource Book in Mathematical Logic\u003c\/i\u003e offers a judicious selection of articles, lectures and correspondence on mathematical logic and the foundations of mathematics, covering the whole of the single most fertile period in the history of logic, namely from 1879 (the year of Frege’s epochmaking discovery\/invention of modern mathematical logic) to 1931 (the year of Gödel’s epoch-ending incompleteness theorem). All the translations are impeccable. Each piece is introduced by an expository article and additionally furnished with a battery of supplementary technical, historical, and philosophical comments in the form of additional footnotes. The collection as a whole allows one to relive each of the crucial steps in this formative period in the history of logic, from Frege’s introduction of the \u003ci\u003eBegriffsschrift\u003c\/i\u003e, to the discovery of Russell’s paradox (including Frege’s heroic and heartbreaking letter of congratulation to Russell), the development of axiomatic set theory, the program of Russell and Whitehead’s \u003ci\u003ePrincipia Mathematica\u003c\/i\u003e, Brouwer’s intuitionism, Hilbert’s proof theory, to the limitative theorems of Skolem and Gödel, to mention only a few of the highlights. Anyone with a serious interest in the history or philosophy of logic will want to own this volume. -- James Conant, University of Chicago\u003cbr\u003eFor more than three decades this outstanding collection has been the authoritative source of basic texts in mathematical logic in the English language; it remains without peer to this day. -- Michael Detlefson, University of Notre Dame\u003cbr\u003eYear in, year out, I recommend this book enthusiastically to students and colleagues for sources in the history and philosophy of modern logic and the foundations of mathematics; I use my own copy so much, it is falling apart. -- Solomon Feferman, Stanford University\u003cbr\u003eA Bible for historians of logic and computer science, this invaluable collection will profit anyone interested in the interplay between mathematics and philosophy in the early decades of the twentieth century. It provides a unique and comprehensive way to appreciate how modern mathematical logic unfolded in the hands of its greatest founding practitioners. -- Juliet Floyd, Boston University\u003cbr\u003e\u003ci\u003eFrom Frege to Gödel\u003c\/i\u003e is the single most important collection of original papers from the development of mathematical logic—an invaluable source for all students of the subject. -- Michael Friedman, University of Indiana\u003cbr\u003eMeticulously edited, with excellent translations and helpful introductory notes, \u003ci\u003eFrom Frege to Gödel\u003c\/i\u003e is an indispensable volume for anyone interested in the development of modern logic and its philosophical impact. -- Warren Goldfarb, Harvard University\u003cbr\u003e\u003ci\u003eFrom Frege to Gödel\u003c\/i\u003e lays out before our eyes the turbulent panorama in which modern logic came to be. -- W. D. Hart, University of Illinois at Chicago\u003cbr\u003eThe outstanding quality of the translations and introductions still make this source book the most important reference for the history of mathematical logic. -- Paolo Mancosu, University of California, Berkeley\u003cbr\u003eIf there is one book that every philosopher interested in the history of logic should own, not to mention all the philosophers who pretend they know something about the history of logic, \u003ci\u003eFrom Frege to Gödel\u003c\/i\u003e is that book. -- Hilary Putnam, Harvard University\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003e1. Frege (1879). Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought   2. Peano (1889). The principles of arithmetic, presented by a new method   3.Dedekind (1890a). Letter to Keferstein   Burali-Forti (1897 and 1897a). A question on transfinite numbers and On well-ordered classes   4.Cantor (1899). Letter to Dedekind   5.Padoa (1900). Logical introduction to any deductive theory   6,Russell (1902). Letter to Frege   7.Frege (1902). Letter to Russell   8.Hilbert (1904). On the foundations of logic and arithmetic   9.Zermelo (1904). Proof that every set can be well-ordered   10.Richard (1905). The principles of mathematics and the problem of sets   11.Konig (1905a). On the foundations of set theory and the continuum problem   12.Russell (1908a). Mathematical logic as based on the theory of types   13.Zermelo (1908). A new proof of the possibility of a well-ordering   14.Zermelo (l908a). Investigations in the foundations of set theory I   Whitehead and Russell (1910). Incomplete symbols: Descriptions   15.Wiener (1914). A simplification of the logic of relations   16.Lowenheim (1915). On possibilities in the calculus of relatives   17.Skolem (1920). Logico-combinatorial investigations in the satisfiability or provability of mathematical propositions: A simplified proof of a theorem by L. Lowenheim and generalizations of the 18.theorem   19.Post (1921). Introduction to a general theory of elementary propositions   20.Fraenkel (1922b). The notion \"definite\" and the independence of the axiom of choice   21.Skolem (1922). Some remarks on axiomatized set theory   22.Skolem (1923). The foundations of elementary arithmetic established by means of the recursive mode of thought, without the use of apparent variables ranging over infinite domains   23.Brouwer (1923b, 1954, and 1954a). On the significance of the principle of excluded middle in mathematics, especially in function theory, Addenda and corrigenda, and Further addenda and corrigenda   von Neumann (1923). On the introduction of transfinite numbers   Schonfinkel (1924). On the building blocks of mathematical logic   filbert (1925). On the infinite   von Neumann (1925). An axiomatization of set theory   Kolmogorov (1925). On the principle of excluded middle   Finsler (1926). Formal proofs and undecidability   Brouwer (1927). On the domains of definition of functions   filbert (1927). The foundations of mathematics   Weyl (1927). Comments on Hilbert's second lecture on the foundations of mathematics   Bernays (1927). Appendix to Hilbert's lecture \"The foundations of mathematics\"   Brouwer (1927a). Intuitionistic reflections on formalism   Ackermann (1928). On filbert's construction of the real numbers   Skolem (1928). On mathematical logic   Herbrand (1930). Investigations in proof theory: The properties of true propositions   Godel (l930a). The completeness of the axioms of the functional calculus of logic   Godel (1930b, 1931, and l931a). Some metamathematical results on completeness and consistency, On formally undecidable propositions of Principia mathematica and related systems I, and On completeness and consistency Herbrand (1931b). On the consistency of arithmetic   References   Index","brand":"Harvard University Press","offers":[{"title":"Default Title","offer_id":49403584905559,"sku":"9780674324497","price":38.66,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9780674324497.jpg?v=1730483904","url":"https:\/\/bookcurl.com\/products\/from-frege-to-godel-a-source-book-in-mathematical-logic-18791931-9780674324497","provider":"Book Curl","version":"1.0","type":"link"}