Graduate studies at Western
|Abstract||In 1958, G¨ odel published in the journal Dialectica an interpretation of intuitionistic number theory in a quantifier-free theory of functionals of finite type; this subsequently came to be known as G¨ odel’s functional or Dialectica interpretation. The article itself was written in German for an issue of that journal in honor of Paul Bernays’ 70th birthday. In 1965, Bernays told G¨.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Jeremy Avigad & Henry Towsner (2009). Functional Interpretation and Inductive Definitions. Journal of Symbolic Logic 74 (4):1100 - 1120.
Fernando Ferreira (2008). A Most Artistic Package of a Jumble of Ideas. Dialectica 62 (2: Table of Contents"/> Select):205–222.
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.
William Tait (2001). Godel's Unpublished Papers on Foundations of Mathematics. Philosophia Mathematica 9 (1):87-126.
Paulo Oliva (2008). An Analysis of Gödel's Dialectica Interpretation Via Linear Logic. Dialectica 62 (2):269–290.
Added to index2009-01-28
Total downloads5 ( #170,097 of 739,304 )
Recent downloads (6 months)0
How can I increase my downloads?