The Independence of the Parallel Postulate and Development of Rigorous Consistency Proofs

History and Philosophy of Logic 28 (1):19-30 (2007)
  Copy   BIBTEX


I trace the development of arguments for the consistency of non-Euclidean geometries and for the independence of the parallel postulate, showing how the arguments become more rigorous as a formal conception of geometry is introduced. I analyze the kinds of arguments offered by Jules Hoüel in 1860-1870 for the unprovability of the parallel postulate and for the existence of non-Euclidean geometries, especially his reaction to the publication of Beltrami’s seminal papers, showing that Beltrami was much more concerned with the existence of non-Euclidean objects than he was with the formal consistency of non-Euclidean geometries. The final step towards rigorous consistency proofs is taken in the 1880s by Henri Poincaré. It is the formal conception of geometry, stripping the geometric primitive terms of their usual meanings, that allows the introduction of a modern fully rigorous consistency proof.



    Upload a copy of this work     Papers currently archived: 92,907

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

48 (#339,457)

6 months
6 (#582,229)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

The Foundations of Geometry.David Hilbert - 1899 - Open Court Company (This Edition Published 1921).
La Science et l'Hypothèse.H. Poincaré - 1903 - Revue Philosophique de la France Et de l'Etranger 55:667-671.

View all 19 references / Add more references