Showing 1–1 of 1 results for author: Boutry, P

Herbrand's theorem and non-Euclidean geometry

Authors: Michael Beeson, Pierre Boutry, Julien Narboux

Abstract: We use Herbrand's theorem to give a new proof that Euclid's parallel axiom is not derivable from the other axioms of first-order Euclidean geometry. Previous proofs involve constructing models of non-Euclidean geometry. This proof uses a very old and basic theorem of logic together with some simple properties of ruler-and-compass constructions to give a short, simple, and intuitively appealing pro… ▽ More We use Herbrand's theorem to give a new proof that Euclid's parallel axiom is not derivable from the other axioms of first-order Euclidean geometry. Previous proofs involve constructing models of non-Euclidean geometry. This proof uses a very old and basic theorem of logic together with some simple properties of ruler-and-compass constructions to give a short, simple, and intuitively appealing proof. △ Less

Submitted 23 February, 2015; v1 submitted 7 October, 2014; originally announced October 2014.

Comments: 12 pages, 5 figures

Journal ref: Bulletin of Symbolic Logic 21(1) 111-122 (2015)