skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Index

Combinatorial analysis of proofs in projective and affine geometry

Von Plato, Jan

Annals of Pure and Applied Logic, 11/2010, Vol.162(2), pp.144-161 [Peer Reviewed Journal]

Full text available

Citations Cited by
  • Title:
    Combinatorial analysis of proofs in projective and affine geometry
  • Author: Von Plato, Jan
  • Description: The axioms of projective and affine plane geometry are turned into rules of proof by which formal derivations are constructed. The rules act only on atomic formulas. It is shown that proof search for the derivability of atomic cases from atomic assumptions by these rules terminates (i.e., solves the word problem). This decision method is based on the central result of the combinatorial analysis of derivations by the geometric rules: The geometric objects that occur in derivations by the rules can be restricted to those known from the assumptions and cases. This “subterm property” is proved by permuting suitably the order of application of the geometric rules. As an example of the decision method, it is shown that there cannot exist a derivation of Euclid’s fifth postulate if the rule that corresponds to the uniqueness of the parallel line construction is taken away from the system of plane affine geometry.
  • Is Part Of: Annals of Pure and Applied Logic, 11/2010, Vol.162(2), pp.144-161
  • Identifier: ISSN: 01680072 ; DOI: http://dx.doi.org/10.1016/j.apal.2010.08.005
  • Subjects: Philosophy ; Mathematics
  • Language: English
  • Source: Elsevier (via CrossRef)

Searching Remote Databases, Please Wait