Sterrett, Susan G.
Frege and Hilbert on the Foundations of Geometry (1994 Talk).
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.)
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Actions (login required)