|Abstract||odel’s incompleteness results apply to formal theories for which syntactic constructs can be given names, in the same language, so that some basic syntactic operations are representable in the theory. It is now customary to derive these results from the ﬁxed point theorem (also known as the reﬂection theorem), which asserts the existence of sentences that “speak about themselves”. Let T be the theory and, for each wﬀ φ, let pφq be the term that serves as its name. Then the theorem says that, for any wﬀ α(v) (with one free variable), there exists a sentence β for which: T ` β ↔ α(pβq) β is sometimes called the ﬁxed point of α(v). All that is needed for the ﬁxed point theorem is..|
|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
William Tait (2001). Godel's Unpublished Papers on Foundations of Mathematics. Philosophia Mathematica 9 (1):87-126.
Wojciech Buszkowski (1988). Gaifman's Theorem on Categorial Grammars Revisited. Studia Logica 47 (1):23 - 33.
Added to index2009-01-28
Total downloads24 ( #57,817 of 722,826 )
Recent downloads (6 months)1 ( #60,541 of 722,826 )
How can I increase my downloads?