Aspekte der frege–hilbert-korrespondenz

History and Philosophy of Logic 18 (4):201-209 (1997)
Abstract
In a letter to Frege of 29 December 1899, Hilbert advances his formalist doctrine, according to which consistency of an arbitrary set of mathematical sentences is a sufficient condition for its truth and for the existence of the concepts described by it. This paper discusses Frege's analysis, as carried out in the context of the Frege-Hilbert correspondence, of the formalist approach in particular and the axiomatic method in general. We close with a speculation about Frege's influence on Hilbert's later work in foundations, which we consider to have been greater than previously assumed. This conjecture is based on a hitherto neglected revision of Hilbert's talk "Über den Zahlbegriff".
Keywords Hilbert  Frege  axiomatic method
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index Translate to english
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 12,084
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Citations of this work BETA
Similar books and articles
G. Aldo Antonelli & Robert C. May (2000). Frege's New Science. Notre Dame Journal of Formal Logic 41 (3):242-270.
David Hilbert (1899). Letter to Frege, 29.Xii.1899. In Gottfried Gabriel, Hans Hermes, Friedrich Kambartel, Christian Thiel, Albert Veraart, Brian McGuinness & Hans Kaal (eds.), Gottlob Frege: Philosophical and Mathematical Correspondence. 38--41.
Patricia Blanchette, The Frege-Hilbert Controversy. The Stanford Encyclopedia of Philosophy.
Gottlob Frege (1895). The Frege-Hilbert Correspondence. In Gottfried Gabriel, Hans Hermes, Friedrich Kambartel, Christian Thiel, Albert Veraart, Brian McGuinness & Hans Kaal (eds.), Gottlob Frege: Philosophical and Mathematical Correspondence. Blackwell. 33--51.
Richard Zach (2006). Hilbert's Program Then and Now. In Dale Jacquette (ed.), Philosophy of Logic. North Holland. 5--411.
Volker Peckhaus (1995). Hilberts Logik. Von der Axiomatik zur Beweistheorie. NTM International Journal of History and Ethics of Natural Sciences, Technology and Medicine 3 (1):65-86.
Analytics

Monthly downloads

Added to index

2010-09-02

Total downloads

22 ( #83,019 of 1,101,878 )

Recent downloads (6 months)

4 ( #91,837 of 1,101,878 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Start a new thread
Order:
There  are no threads in this forum
Nothing in this forum yet.