Frege and Hilbert on the Foundations of Geometry (1994 Talk)

Publication Year:
Usage 1529
Downloads 1529
Repository URL:
Sterrett, Susan G.
preprint description
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.)