Switch to: References

Add citations

You must login to add citations.
  1. The complexity of plane hyperbolic incidence geometry is∀∃∀∃.Victor Pambuccian - 2005 - Mathematical Logic Quarterly 51 (3):277-281.
    We show that plane hyperbolic geometry, expressed in terms of points and the ternary relation of collinearity alone, cannot be expressed by means of axioms of complexity at most ∀∃∀, but that there is an axiom system, all of whose axioms are ∀∃∀∃ sentences. This remains true for Klingenberg's generalized hyperbolic planes, with arbitrary ordered fields as coordinate fields.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Correction to “Axiomatizations of Hyperbolic Geometry”.Victor Pambuccian - 2005 - Synthese 145 (3):497-497.
    Download  
     
    Export citation  
     
    Bookmark  
  • Mario Pieri’s View of the Symbiotic Relationship between the Foundations and the Teaching of Elementary Geometry in the Context of the Early Twentieth Century Proposals for Pedagogical Reform.Elena Anne Corie Marchisotto & Ana Millán Gasca - 2021 - Philosophia Scientiae 25:157-183.
    In this paper, we discuss a proposal for reform in the teaching of Euclidean geometry that reveals the symbiotic relationship between axiomatics and pedagogy. We examine the role of intuition in this kind of reform, as expressed by Mario Pieri, a prominent member of the Schools of Peano and Segre at the University of Turin. We are well aware of the centuries of attention paid to the notion of intuition by mathematicians, mathematics educators, philosophers, psychologists, historians, and others. To set (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation