From Frege to Gödel: A Source Book in Mathematical Logic

From Frege to Gödel is a collection of source texts documenting the development of mathematical logic between 1879-1931. The compilation includes English translations of works by major figures like Frege, Russell, Hilbert, and Gödel, with many appearing in English for the first time. Editor Jean van Heijenoort provides historical context and technical commentary to connect the 45 selected texts. The works progress chronologically to show the evolution of core concepts in mathematical logic, set theory, and foundational mathematics. The source materials cover fundamental developments including Frege's concept-script, Russell's theory of types, Zermelo's axiomatization of set theory, and Gödel's incompleteness theorems. Original papers, correspondence between mathematicians, and lecture transcripts reveal both the breakthroughs and challenges faced. This anthology captures a pivotal period when mathematics underwent a transformation in its foundations and methods of proof. The included works demonstrate how symbolic logic emerged as a precise tool for analyzing mathematical reasoning.

Readers describe this as a valuable collection of original papers that shaped mathematical logic between 1879-1931. Mathematics students and professors note it helps them trace the historical development of key concepts through primary sources. Liked: - Clear translations of papers previously unavailable in English - Helpful introductory notes before each paper - Comprehensive coverage of the period's major developments Disliked: - Dense, technical content requires strong math background - Some papers lack sufficient context - High price point - Small print makes equations hard to read Ratings: Goodreads: 4.5/5 (49 ratings) Amazon: 4.7/5 (21 ratings) Notable review: "While challenging, reading these original papers gives insights you won't get from modern textbooks. Seeing how these concepts evolved through the authors' own words is illuminating." - Mathematics professor on Amazon "The biographical introductions add human dimension to what could be dry technical papers." - Goodreads reviewer

A History of Mathematical Logic from Leibniz to Peano by Giuseppe Peano This text traces the development of mathematical logic through primary sources and translations of seminal works from the founders of modern logic.

Introduction to Mathematical Logic by Elliott Mendelson The book presents core mathematical logic concepts through rigorous proofs and historical context, covering propositional logic through incompleteness theorems.

Foundations of Mathematical Logic by Haskell Curry The text examines the foundations of logic from a mathematical perspective, focusing on proof theory and the relationship between syntax and semantics.

The Development of Logic by William Kneale, Martha Kneale This work chronicles the evolution of logic from ancient Greece through the twentieth century with translations and analysis of primary texts.

Mathematical Logic by Joseph Shoenfield The book provides a systematic treatment of mathematical logic, including model theory, recursion theory, and set theory with connections to foundational mathematics.

🔹 The book covers a crucial 50-year period (1879-1931) in the development of mathematical logic, featuring original papers from 46 logicians translated into English, many for the first time. 🔹 Jean van Heijenoort wasn't just a logician and historian - he served as Leon Trotsky's secretary and bodyguard from 1932 to 1939, and narrowly escaped an assassination attempt meant for Trotsky. 🔹 Kurt Gödel's famous incompleteness theorems, included in this collection, fundamentally changed mathematics by proving that any consistent mathematical system contains statements that cannot be proved or disproved within that system. 🔹 The collection includes Gottlob Frege's groundbreaking 1879 paper Begriffsschrift, which introduced the first complete system of predicate logic and laid the foundation for modern mathematical logic. 🔹 The book remains one of the most cited works in mathematical logic after more than 50 years since its publication in 1967, serving as a primary source for both historians and mathematicians.