Journal of Philosophical Logic 9 (2):133-142 (1980)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Kurt Gödel (1980). On a Hitherto Unexploited Extension of the Finitary Standpoint. Journal of Philosophical Logic 9 (2):133 - 142.
Kurt Gödel (1972). On an Extension of Finitary Mathematics Which has Not yet Been Used. In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Kurt Gödel: Collected Works Vol. Ii. Oxford University Press.
Bertil Rolf (1980). The Finitary Standpoint. Erkenntnis 15 (3):287 - 300.
James Blackmon, David Byrd, Robert C. Cummins, Alexa Lee & Martin Roth (2006). Representation and Unexploited Content. In Graham F. Macdonald & David Papineau (eds.), Teleosemantics. Oxford University Press.
Piotr Wojtylak (1991). On Structural Completeness of Implicational Logics. Studia Logica 50 (2):275 - 297.
J. Adámek, P. T. Johnstone, J. A. Makowsky & J. Rosický (1997). Finitary Sketches. Journal of Symbolic Logic 62 (3):699-707.
Nicolai J. Foss (1997). Ethics, Discovery, and Strategy. Journal of Business Ethics 16 (11):1131-1142.
Matthew J. Donald, Finitary and Infinitary Mathematics, the Possibility of Possibilities and the Definition of Probabilities.
W. W. Tait (2010). Gödel on Intuition and on Hilbert's Finitism. In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Mohamed A. Amer (1985). Extension of Relatively |Sigma-Additive Probabilities on Boolean Algebras of Logic. Journal of Symbolic Logic 50 (3):589 - 596.
Pamela Sue Anderson (2001). “Standpoint”. Journal of Philosophical Research 26:131-153.
J. G. Raftery (2011). Contextual Deduction Theorems. Studia Logica 99 (1-3):279-319.
Marianne Janack (1997). Standpoint Epistemology Without the 'Standpoint'. Hypatia 12 (2):125-39.
Xavier Caicedo (1986). A Simple Solution to Friedman's Fourth Problem. Journal of Symbolic Logic 51 (3):778-784.
Sorry, there are not enough data points to plot this chart.
Added to index2011-01-04
Recent downloads (6 months)0
How can I increase my downloads?