Skip to main content

The independence of the parallel postulate and development of rigorous consistency proofs

Buy Article:

$47.50 plus tax (Refund Policy)

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 analyse 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.
No Reference information available - sign in for access.
No Citation information available - sign in for access.
No Supplementary Data.
No Article Media
No Metrics

Document Type: Research Article

Affiliations: Department of Philosophy, University of San Francisco, San Francisco, CA, USA

Publication date: 2007-02-01

More about this publication?
  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more