Grundlagen der Mathematik
E602274
Grundlagen der Mathematik is a foundational two-volume work in mathematical logic and the philosophy of mathematics, co-authored by David Hilbert and Paul Bernays, that systematically develops proof theory and formalizes large parts of mathematics.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Grundlagen der Mathematik canonical | 1 |
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
foundational work in the philosophy of mathematics
ⓘ
mathematics book ⓘ work in mathematical logic ⓘ |
| aim |
to formalize large parts of classical mathematics
ⓘ
to provide a systematic exposition of proof theory ⓘ |
| approach |
axiomatic
ⓘ
finitistic ⓘ |
| author |
David Hilbert
NERFINISHED
ⓘ
Paul Bernays NERFINISHED ⓘ |
| coAuthorRole |
David Hilbert was the leading proponent of the Hilbert program
NERFINISHED
ⓘ
Paul Bernays contributed detailed technical development and editing NERFINISHED ⓘ |
| contains |
formalization of analysis
ⓘ
formalization of arithmetic ⓘ formalization of set-theoretic reasoning ⓘ |
| countryOfOrigin | Germany ⓘ |
| field |
foundations of mathematics
ⓘ
mathematical logic ⓘ proof theory ⓘ |
| genre | technical monograph ⓘ |
| historicalContext | written in the context of the Hilbert program ⓘ |
| impact |
classic in the foundations of mathematics literature
ⓘ
standard reference in proof theory ⓘ |
| influenced |
development of proof theory
ⓘ
philosophy of mathematics in the 20th century ⓘ subsequent work in mathematical logic ⓘ |
| intendedAudience |
logicians
ⓘ
philosophers of mathematics ⓘ professional mathematicians ⓘ |
| language | German ⓘ |
| numberOfVolumes | 2 ⓘ |
| publisherRole | published by a German academic publisher ⓘ |
| relatedTo |
Gödel incompleteness theorems
NERFINISHED
ⓘ
consistency problem for arithmetic ⓘ formalization of logical inference rules ⓘ |
| subject |
Hilbert program
NERFINISHED
ⓘ
axiomatic method ⓘ completeness questions ⓘ consistency proofs ⓘ finitism ⓘ formal systems ⓘ formalization of mathematics ⓘ metamathematics ⓘ primitive recursive arithmetic ⓘ proof calculi ⓘ syntactic consistency ⓘ |
| titleTranslation | Foundations of Mathematics NERFINISHED ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.