𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Undecidability and intuitionistic incompleteness

✍ Scribed by D. C. McCarty

Publisher
Springer Netherlands
Year
1996
Tongue
English
Weight
385 KB
Volume
25
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Algorithms for estimating missing elemen
Algorithms for estimating missing elements of incomplete intuitionistic preference relations
✍ Zeshui Xu; Xiaoqiang Cai; Eulalia Szmidt πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 173 KB

Preference relations as simple and efficient information description tools have been widely used in practical decision-making problems. Intuitionistic preference relation, which is often met in real problems, is usually utilized to provide the experts' vague or fuzzy opinions over objects under unce

Heterologicality and Incompleteness
Heterologicality and Incompleteness
✍ Cezary CieΕ›liΕ„ski πŸ“‚ Article πŸ“… 2002 πŸ› John Wiley and Sons 🌐 English βš– 128 KB

We present a semantic proof of GΓΆdel's second incompleteness theorem, employing Grelling's antinomy of heterological expressions. For a theory T containing ZF, we define the sentence HETT which says intuitively that the predicate "heterological" is itself heterological. We show that this sentence do