Switch to: References

Add citations

You must login to add citations.
  1. Axiomatizing Changing Conceptions of the Geometric Continuum I: Euclid-Hilbert†.John T. Baldwin - 2018 - Philosophia Mathematica 26 (3):346-374.
    We give a general account of the goals of axiomatization, introducing a variant on Detlefsen’s notion of ‘complete descriptive axiomatization’. We describe how distinctions between the Greek and modern view of number, magnitude, and proportion impact the interpretation of Hilbert’s axiomatization of geometry. We argue, as did Hilbert, that Euclid’s propositions concerning polygons, area, and similar triangles are derivable from Hilbert’s first-order axioms. We argue that Hilbert’s axioms including continuity show much more than the geometrical propositions of Euclid’s theorems and (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Case for the Irreducibility of Geometry to Algebra†.Victor Pambuccian & Celia Schacht - 2022 - Philosophia Mathematica 30 (1):1-31.
    This paper provides a definitive answer, based on considerations derived from first-order logic, to the question regarding the status of elementary geometry, whether elementary geometry can be reduced to algebra. The answer we arrive at is negative, and is based on a series of structural questions that can be asked only inside the geometric formal theory, as well as the consideration of reverse geometry, which is the art of finding minimal axiom systems strong enough to prove certain geometrical theorems, given (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Hilbert-style axiomatic completion: On von Neumann and hidden variables in quantum mechanics.Chris Mitsch - 2022 - Studies in History and Philosophy of Science Part A 95 (C):84-95.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • From Magnitudes to Geometry and Back: De Zolt's Postulate.Eduardo N. Giovannini & Abel Lassalle-Casanave - 2022 - Theoria 88 (3):629-652.
    Theoria, Volume 88, Issue 3, Page 629-652, June 2022.
    Download  
     
    Export citation  
     
    Bookmark  
  • David Hilbert and the foundations of the theory of plane area.Eduardo N. Giovannini - 2021 - Archive for History of Exact Sciences 75 (6):649-698.
    This paper provides a detailed study of David Hilbert’s axiomatization of the theory of plane area, in the classical monograph Foundation of Geometry. On the one hand, we offer a precise contextualization of this theory by considering it against its nineteenth-century geometrical background. Specifically, we examine some crucial steps in the emergence of the modern theory of geometrical equivalence. On the other hand, we analyze from a more conceptual perspective the significance of Hilbert’s theory of area for the foundational program (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Hilbert, duality, and the geometrical roots of model theory.Günther Eder & Georg Schiemer - 2018 - Review of Symbolic Logic 11 (1):48-86.
    The article investigates one of the key contributions to modern structural mathematics, namely Hilbert’sFoundations of Geometry and its mathematical roots in nineteenth-century projective geometry. A central innovation of Hilbert’s book was to provide semantically minded independence proofs for various fragments of Euclidean geometry, thereby contributing to the development of the model-theoretic point of view in logical theory. Though it is generally acknowledged that the development of model theory is intimately bound up with innovations in 19th century geometry, so far, little (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations