Probleme der Grundlegung der Mathematik

@article{HilbertProblemeDG,
  title={Probleme der Grundlegung der Mathematik},
  author={D. Hilbert},
  journal={Mathematische Annalen},
  volume={102},
  pages={1-9}
}
Hilbert's Program Revisited
After sketching the main lines of Hilbert's program, certain well-known andinfluential interpretations of the program are critically evaluated, and analternative interpretation is presented. Finally,Expand
Kurt Gödel , ‘ Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I ’ ( 1931 )
First publication: Monatshefte f ür Mathematik und Physik , 37, 173–198 Reprints:S. Feferman et al., eds., Kurt Gödel. Collected Works. Volume I: Publications 1929–1936. New York: Oxford UniversityExpand
Axioms and Formalisms
TLDR
The Fregean work profoundly changed the authors' understanding of the relationship between logic and mathematics, of the possibilities of formal systems and of the role of infinity in mathematics, while at the same time opening the way to new disciplines such as proof theory and making it possible to build a foundation on which computer science could then be born and develop. Expand
A Most Interesting Draft for Hilbert and Bernays ’ “ Grundlagen der Mathematik
In 1934, in Bernays’ preface to the first edition of the first volume of Hilbert and Bernays’ monograph “Grundlagen der Mathematik”, a nearly completed draft of the the finally two-volume monographExpand
A Most Interesting, but Revoked Draft for Hilbert and Bernays' "Grundlagen der Mathematik" That Never Found Its Way into Publication, and a CV of Hasenjaeger
A third of a century later, Bernays' preface to the second edition (1968) of the first volume of Hilbert and Bernays' "Grundlagen der Mathematik" mentions joint work of Hasenjaeger and Bernays on theExpand
Kalmár's Argument Against the Plausibility of Church's Thesis
In his famous paper, An Unsolvable Problem of Elementary Number Theory, Alonzo Church (1936) identified the intuitive notion of effective calculability with the mathematically precise notion ofExpand
H for Hilbert
We consider Hilbert’s contributions to the foundations of mathematics, including his conception of the axiomatic method, his notion of mathematical proof, and his approach to infinity throughExpand
Modes of Knowing in Mathematics
Chapter 5 discusses numerous examples of creativity and rationality in mathematical knowledge, for instance the extraordinary insights of the mathematician Ramanujan and the seminal contributions byExpand
...
1
2
3
4
5
...