Toepell, Michael 100 years of “Foundations of geometry”. The decisive contribution of David Hilbert to formalization of mathematics. (Czech) Zbl 1055.01503 Pokroky Mat. Fyz. Astron. 45, No. 2, 89-97 (2000). Translated of ‘100 Jahre Grundlagen der Geometrie – David Hilbert’s entscheinender Beitrag zur Formalisierung der Mathematik’. Mitt. Dtsch. Math.-Ver. 1, 10–15 (1999). MSC: 01A55 History of mathematics in the 19th century 51-03 History of geometry Keywords:foundations of geometry; formalization of mathematics PDF BibTeX XML Cite \textit{M. Toepell}, Pokroky Mat. Fyz. Astron. 45, No. 2, 89--97 (2000; Zbl 1055.01503) Full Text: EuDML