What is Geometry? Is it True? Why is it Important?
We look briefly at truth versus proof in geometry, at the controversy between Gottlob Frege and Hilbert, and at the idea of a relative consistency proof.
Extract: Poincaré on the relative consistency of Euclidean and non-Euclidean geometry.
KeywordsEuclidean Geometry Projective Geometry Axiom System Relative Consistency Pure Logic
Unable to display preview. Download preview PDF.