Sterrett, Susan G. (1994) Frege and Hilbert on the Foundations of Geometry (1994 Talk). [Preprint]
Abstract
I examine Frege�s explanation of how Hilbert ought to have presented his proofs of the independence of the axioms of geometry: in terms of mappings between (what we would call) fully interpreted statements. This helps make sense of Frege�s objections to the notion of different interpretations, which many have found puzzling. (The paper is the text of a talk presented in October 1994.)
Actions (login required)