A Reverse analysis of the Sylvester-Gallai theorem

Research output: Contribution to journalArticle

7 Citations (Scopus)

Abstract

Reverse analyses of three proofs of the Sylvester-Gallai theorem lead to three different and incompatible axiom systems. In particular, we show that proofs respecting the purity of the method, using only notions considered to be part of the statement of the theorem to be proved, are not always the simplest, as they may require axioms which proofs using extraneous predicates do not rely upon.

Original languageEnglish (US)
Pages (from-to)245-260
Number of pages16
JournalNotre Dame Journal of Formal Logic
Volume50
Issue number3
DOIs
StatePublished - 2009

Fingerprint

Reverse
Theorem
Axiom
Predicate
Axioms

Keywords

  • Generalized metric spaces
  • Pasch axiom
  • Projective geometry
  • Reverse analysis
  • Sylvester-Gallai theorem

ASJC Scopus subject areas

  • Logic

Cite this

A Reverse analysis of the Sylvester-Gallai theorem. / Pambuccian, Victor.

In: Notre Dame Journal of Formal Logic, Vol. 50, No. 3, 2009, p. 245-260.

Research output: Contribution to journalArticle

@article{81372a8af78849ada8f330770c527132,
title = "A Reverse analysis of the Sylvester-Gallai theorem",
abstract = "Reverse analyses of three proofs of the Sylvester-Gallai theorem lead to three different and incompatible axiom systems. In particular, we show that proofs respecting the purity of the method, using only notions considered to be part of the statement of the theorem to be proved, are not always the simplest, as they may require axioms which proofs using extraneous predicates do not rely upon.",
keywords = "Generalized metric spaces, Pasch axiom, Projective geometry, Reverse analysis, Sylvester-Gallai theorem",
author = "Victor Pambuccian",
year = "2009",
doi = "10.1215/00294527-2009-010",
language = "English (US)",
volume = "50",
pages = "245--260",
journal = "Notre Dame Journal of Formal Logic",
issn = "0029-4527",
publisher = "Duke University Press",
number = "3",

}

TY - JOUR

T1 - A Reverse analysis of the Sylvester-Gallai theorem

AU - Pambuccian, Victor

PY - 2009

Y1 - 2009

N2 - Reverse analyses of three proofs of the Sylvester-Gallai theorem lead to three different and incompatible axiom systems. In particular, we show that proofs respecting the purity of the method, using only notions considered to be part of the statement of the theorem to be proved, are not always the simplest, as they may require axioms which proofs using extraneous predicates do not rely upon.

AB - Reverse analyses of three proofs of the Sylvester-Gallai theorem lead to three different and incompatible axiom systems. In particular, we show that proofs respecting the purity of the method, using only notions considered to be part of the statement of the theorem to be proved, are not always the simplest, as they may require axioms which proofs using extraneous predicates do not rely upon.

KW - Generalized metric spaces

KW - Pasch axiom

KW - Projective geometry

KW - Reverse analysis

KW - Sylvester-Gallai theorem

UR - http://www.scopus.com/inward/record.url?scp=79953045825&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=79953045825&partnerID=8YFLogxK

U2 - 10.1215/00294527-2009-010

DO - 10.1215/00294527-2009-010

M3 - Article

AN - SCOPUS:79953045825

VL - 50

SP - 245

EP - 260

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

SN - 0029-4527

IS - 3

ER -