Livre | Chapitre
Foundations of mathematics
pp. 315-372
Résumé
The history of formal deduction goes back to Aristotle and Euclid, and the development of mathematical analysis can be traced back to Archimedes. It was not until the middle of the nineteenth century that these developments began to converge, due to the work of Boole and Frege. The subsequent efforts to provide a secure foundation for mathematics led to the discovery around 1900 of the antinomies which engendered a foundational crisis.
Détails de la publication
Publié dans:
Scholz Erhard (2001) Hermann Weyl's "Raum — Zeit — Materie" and a general introduction to his scientific work. Basel, Birkhäuser.
Pages: 315-372
DOI: 10.1007/978-3-0348-8278-1_10
Citation complète:
Scholz Erhard, 2001, Foundations of mathematics. In E. Scholz (ed.) Hermann Weyl's "Raum — Zeit — Materie" and a general introduction to his scientific work (315-372). Basel, Birkhäuser.