Journal of Philosophical Logic 9 (2):133 - 142 (1980)
P. Bernays has pointed out that, in order to prove the consistency of classical number theory, it is necessary to extend Hilbert's finitary standpoint by admitting certain abstract concepts in addition to the combinatorial concepts referring to symbols. The abstract concepts that so far have been used for this purpose are those of the constructive theory of ordinals and those of intuitionistic logic. It is shown that the concept of a computable function of finite simple type over the integers can be used instead, where no other procedures of constructing such functions are necessary except simple recursion by an integral variable and substitution of functions in each other (starting with trivial functions)
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Functional Interpretations of Feasibly Constructive Arithmetic.Stephen Cook & Alasdair Urquhart - 1993 - Annals of Pure and Applied Logic 63 (2):103-200.
Gödel's 'Disproof' of the Syntactical Viewpoint.Victor Rodych - 2001 - Southern Journal of Philosophy 39 (4):527-555.
Similar books and articles
A Simple Solution to Friedman's Fourth Problem.Xavier Caicedo - 1986 - Journal of Symbolic Logic 51 (3):778-784.
Finitary Sketches.J. Adámek, P. T. Johnstone, J. A. Makowsky & J. Rosický - 1997 - Journal of Symbolic Logic 62 (3):699-707.
Gödel on Intuition and on Hilbert's Finitism.W. W. Tait - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
How is It That Infinitary Methods Can Be Applied to Finitary Mathematics? Gödel's T: A Case Study.Andreas Weiermann - 1998 - Journal of Symbolic Logic 63 (4):1348-1370.
On an Extension of Finitary Mathematics Which has Not yet Been Used.Kurt Gödel - 1972 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Kurt Gödel: Collected Works Vol. Ii. Oxford University Press. pp. 271--284.
Added to index2009-01-28
Total downloads47 ( #110,822 of 2,169,416 )
Recent downloads (6 months)3 ( #126,617 of 2,169,416 )
How can I increase my downloads?