Chapter ID: CBB001211657

Frege and Hilbert (2010)

unapi

Between 1897 and 1902, there took place a brief correspondence between Frege and Hilbert, consisting of four letters from Frege, and two letters and three postcards from Hilbert. It centres on Frege's reactions to Hilbert's classic Grundlagen der Geometrie, first published in 1899, and Hilbert's restatements in his letters to Frege of the foundational positions which that work, sometimes only implicitly, embodies. Despite the obvious richness of common purpose between Frege and Hilbert, the correspondence is especially instructive because of the strong disagreements expressed. For example, the two disagreed on the form and function of definitions, the nature, purpose and formulation of axioms, the nature of (axiomatized) mathematical theories, the method of independence proofs in geometry, the role and form of consistency proofs and the nature of mathematical existence. Many of the articles of disagreement, especially those on axioms and independence proofs, also reveal or underline significant differences in their respective conceptions of logic. Frege followed the correspondence with two polemical, and wider-ranging, articles on similar or related themes, Hilbert himself having apparently declined Frege's suggestion that their exchange of views be published. These two papers help to fill out the picture on Frege's side, first by restating Frege's opposition, and then by presenting his insights into the formal structure of Hilbert's position. Especially important are Frege's attempts in his second article to render central results of Hilbert's project as read through his own system.

...More
Included in

Book Ricketts, Tom; Potter, Michael D. (2010) The Cambridge Companion to Frege. unapi

Citation URI
https://data.isiscb.org/isis/citation/CBB001211657/

Similar Citations

Article Stillwell, John; (2014)
Ideal Elements in Hilbert's Geometry (/isis/citation/CBB001213909/)

Article Demopoulos, William; (1994)
Frege, Hilbert, and the conceptual structure of model theory (/isis/citation/CBB000049624/)

Article Pedro J. Freitas; (2019)
The Correspondence from Ernesto Cesàro to Francisco Gomes Teixeira (/isis/citation/CBB711366439/)

Chapter Mancosu, Paolo; Zach, Richard; Badesa, Calixto; (2009)
The Development of Mathematical Logic from Russell to Tarski, 1900--1935 (/isis/citation/CBB001210349/)

Chapter Weiner, Joan; (2010)
Understanding Frege's Project (/isis/citation/CBB001211648/)

Chapter Thiel, Christian; (2009)
Gottlob Frege and the Interplay between Logic and Mathematics (/isis/citation/CBB001210345/)

Book Schüler, Wolfgang; (1983)
Grundlegungen der Mathematik in transzendentaler Kritik: Frege und Hilbert (/isis/citation/CBB000007451/)

Article Wehmeier, Kai F.; (1997)
Aspekte der Frege--Hilbert--Korrespondenz (/isis/citation/CBB000079357/)

Chapter Wilson, Mark; (2010)
Frege's Mathematical Setting (/isis/citation/CBB001211656/)

Article Sieg, Wilfried; (2014)
The Ways of Hilbert's Axiomatics: Structural and Formal (/isis/citation/CBB001213914/)

Article Ausejo Martínez, Elena; Ausejo Lifante, Elena; (2017)
Correspondencia de Zoel García de Galdeano con matemáticos alemanes: Georg Cantor (/isis/citation/CBB631684117/)

Chapter Netz, Reviel; (2012)
The Texture of Archimedes' Writings: Through Heiberg's Veil (/isis/citation/CBB001320141/)

Article Günther Eder; (2021)
Frege on intuition and objecthood in projective geometry (/isis/citation/CBB221284966/)

Authors & Contributors
Schüler, Wolfgang
Freitas, Pedro J.
Ausejo Lifante, Elena
Zach, Richard
Wilson, Mark D.
Weiner, Joan
Concepts
Geometry
Mathematics
Logic
Philosophy of mathematics
Correspondence and corresponding
Formalization (philosophy)
Time Periods
19th century
20th century, early
Ancient
20th century
Places
Italy
Greece
Denmark
Portugal
Germany
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment