Herbrand's theorem and non-Euclidean geometry - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2014

Herbrand's theorem and non-Euclidean geometry

Michael Beeson
  • Fonction : Auteur
  • PersonId : 960560
Pierre Boutry
  • Fonction : Auteur
  • PersonId : 2808
  • IdHAL : boutry
IGG

Résumé

We use Herbrand's theorem to give a new proof that Eu- clid'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.
Fichier principal
Vignette du fichier
HerbrandEuclid.pdf (125.71 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01071431 , version 1 (05-10-2014)
hal-01071431 , version 2 (08-10-2014)
hal-01071431 , version 3 (24-02-2015)

Identifiants

  • HAL Id : hal-01071431 , version 1

Citer

Michael Beeson, Pierre Boutry, Julien Narboux. Herbrand's theorem and non-Euclidean geometry. 2014. ⟨hal-01071431v1⟩
264 Consultations
452 Téléchargements

Partager

Gmail Facebook X LinkedIn More