Repository | Book | Chapter
(1995) From Dedekind to Gödel, Dordrecht, Springer.
This paper explores such questions as who actually discovered non-euclidean geometry, who actually believed in its consistency and why, and who can be said to have proved it to be free of contradiction. To this end I will analyze some views and results if ten or so philosophers and mathematicians from Kant to Hilbert. One main theme is that without some rudimentary idea of a model, the discovery and establishment of non-euclidean geometry would not have been possible. Another is that only the notion of a model enabled thinkers to conceive of properties of logical inference such as soundness and completeness of axioms and/or rules. These themes are surprisingly difficult to articulate clearly without compromising historical accuracy, but I believe that in most cases the attempt to do so leads to a better understanding of the writers involved.
Publication details
DOI: 10.1007/978-94-015-8478-4_1
Full citation:
Webb, J. (1995)., Tracking contradictions in geometry: the idea of a model from Kant to Hilbert, in J. Hintikka (ed.), From Dedekind to Gödel, Dordrecht, Springer, pp. 1-20.
This document is unfortunately not available for download at the moment.