From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931
E513378
From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 is a landmark anthology that collects and translates many of the foundational papers in modern mathematical logic from the late 19th to early 20th century.
Statements (39)
| Predicate | Object |
|---|---|
| instanceOf |
anthology
ⓘ
book ⓘ source book ⓘ |
| chronologicallyOrganizes | key papers in mathematical logic ⓘ |
| containsWorkBy |
Alfred North Whitehead
NERFINISHED
ⓘ
Alonzo Church NERFINISHED ⓘ Bertrand Russell NERFINISHED ⓘ David Hilbert NERFINISHED ⓘ Ernst Zermelo NERFINISHED ⓘ Giuseppe Peano NERFINISHED ⓘ Gottlob Frege NERFINISHED ⓘ Jacques Herbrand NERFINISHED ⓘ John von Neumann NERFINISHED ⓘ Kurt Gödel NERFINISHED ⓘ L. E. J. Brouwer NERFINISHED ⓘ Moses Schönfinkel NERFINISHED ⓘ Paul Bernays NERFINISHED ⓘ Thoralf Skolem NERFINISHED ⓘ |
| documents |
early work on incompleteness and undecidability
ⓘ
emergence of formal axiomatic method ⓘ transition from classical to modern logic ⓘ |
| focusesOn |
development of modern mathematical logic
ⓘ
formal systems ⓘ foundational crises in mathematics ⓘ model theory ⓘ proof theory ⓘ set theory ⓘ |
| includes |
editorial introductions to primary texts
ⓘ
translations of original research papers ⓘ |
| isConsidered | landmark anthology in mathematical logic ⓘ |
| isUsedAs |
reference work in logic
ⓘ
textbook supplement in advanced logic courses ⓘ |
| language | English ⓘ |
| shortTitle | From Frege to Gödel NERFINISHED ⓘ |
| subject |
foundations of mathematics
ⓘ
history of logic ⓘ mathematical logic ⓘ |
| timePeriodCovered | 1879–1931 ⓘ |
| title | From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 NERFINISHED ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
Solomon Feferman
→
notableWork
→
From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931
ⓘ