From Frege to G?del: A Source Book in Mathematical Logic, 1879-1931 (Paperback)
Jean van Heijenoort
ISBN: | 9780674324497 |
Publisher: | Harvard University Press |
Published: | 1 July, 1990 |
Format: | Paperback |
Language: | English |
Links | Australian Libraries (Trove) |
From Frege to G?del: A Source Book in Mathematical Logic, 1879-1931 (Paperback)
Jean van Heijenoort
Gathered together in this book are the fundamental texts of the great classical period in modern logic. A complete translation of Gottlob Frege's "Begriffsschrift"--which opened a great epoch in the history of logic by fully presenting propositional calculus and quantification theory--begins the volume. The texts that follow depict the emergence of set theory and foundations of mathematics, two new fields on the borders of logic, mathematics, and philosophy. Essays trace the trends that led to "Principia mathematica," the appearance of modern paradoxes, and topics including proof theory, the theory of types, axiomatic set theory, and Lowenheim's theorem. The volume concludes with papers by Herbrand and by Godel, including the latter's famous incompleteness paper.
Shop Preferences
Customize which shops to display. You can include the following shops by logging in to change your settings.