Studia Logica 107 (1):145-165 (2019)

Reinhard Kahle
University Tübingen
In his introductory paper to first-order logic, Jon Barwise writes in the Handbook of Mathematical Logic :[T]he informal notion of provable used in mathematics is made precise by the formal notion provable in first-order logic. Following a sug[g]estion of Martin Davis, we refer to this view as Hilbert’s Thesis.This paper reviews the discussion of Hilbert’s Thesis in the literature. In addition to the question whether it is justifiable to use Hilbert’s name here, the arguments for this thesis are compared with those for Church’s Thesis concerning computability. This leads to the question whether one could provide an analogue for proofs of the concept of partial recursive function.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11225-017-9776-2
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,811
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

Finitism and Intuitive Knowledge.Charles Parsons - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today. Clarendon Press. pp. 249--270.

Add more references

Citations of this work BETA

Dedekinds Sätze und Peanos Axiomata.Reinhard Kahle - 2021 - Philosophia Scientae 25:69-93.

Add more citations

Similar books and articles

Hilbert, Completeness and Geometry.Giorgio Venturi - 2011 - Rivista Italiana di Filosofia Analitica Junior 2 (2):80-102.
Term-Forming Operators in First Order Logic.David Michael Devidi - 1994 - Dissertation, The University of Western Ontario (Canada)
On The Infinite / Sur L’Infini.Marcel Bodea - 2001 - Studia Philosophica 1.
Pure Hilbert Algebras with Infimum.Aldo Figallo Jr - 2007 - Logic Journal of the IGPL 15 (5-6):527-533.
Hilbert's Objectivity.Lydia Patton - 2014 - Historia Mathematica 41 (2):188-203.
Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - History and Philosophy of Logic 18 (4):201-209.
Constructive Compact Operators on a Hilbert Space.Hajime Ishihara - 1991 - Annals of Pure and Applied Logic 52 (1-2):31-37.
Hilbert and the Emergence of Modern Mathematical Logic.Gregory H. Moore - 1997 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 12 (1):65-90.


Added to PP index

Total views
25 ( #444,053 of 2,463,174 )

Recent downloads (6 months)
1 ( #449,391 of 2,463,174 )

How can I increase my downloads?


My notes