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/)

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/)

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

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

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/)

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 Belna, Jean Pierre; (2002)
Frege et la géométrie projective: la Dissertation inaugurale de 1873 (/isis/citation/CBB000770938/)

Article Belna, Jean-Pierre; (2006)
Objectivité et principe de dualité: Le paragraphe 26 des Fondements de l'arithmétique de Frege (/isis/citation/CBB000770988/)

Article Michael Friedman; (2021)
On Mascheroni's La geometria del compasso at the beginning of the 19th century (/isis/citation/CBB210159180/)

Authors & Contributors
Schüler, Wolfgang
Belna, Jean-Pierre
Freitas, Pedro J.
Ausejo Lifante, Elena
Zach, Richard
Wilson, Mark D.
Journals
Revue d'Histoire des Sciences
Perspectives on Science
History and Philosophy of Logic
Revue de Métaphysique et de Morale
Revue d'Histoire des Mathématiques
Llull: Revista de la Sociedad Española de Historia de las Ciencias y de las Técnicas
Publishers
Meiner
Concepts
Geometry
Mathematics
Logic
Philosophy of mathematics
Correspondence and corresponding
Formalization (philosophy)
People
Hilbert, David
Frege, Gottlob
Heiberg, Johan Ludvig
Archimedes
Sommerfeld, Arnold Johannes Wilhelm
Nernst, Walther Hermann
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