𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Exposition of undecidability

✍ Scribed by Jones.


Year
1974
Tongue
English
Leaves
16
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Borel Liftings of Borel Sets: Some Decid
✍ Gabriel Debs, Jean Saint Raymond πŸ“‚ Library πŸ“… 2007 πŸ› American Mathematical Society 🌐 English

One of the aims of this work is to investigate some natural properties of Borel sets which are undecidable in $ZFC$. The authors' starting point is the following elementary, though non-trivial result: Consider $X \subset 2omega\times2omega$, set $Y=\pi(X)$, where $\pi$ denotes the canonical projecti

Goedel's Way: Exploits into an undecidab
✍ Gregory Chaitin, Francisco A Doria, Newton C.A. da Costa πŸ“‚ Library πŸ“… 2011 πŸ› CRC Press 🌐 English

<P>Kurt GΓΆdel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of the 20th century, with his contributions extending to Einstein’s general relativity, as he proved that Einstein’s theory admits time machi

Goedel's Way: Exploits into an undecidab
✍ Gregory Chaitin, Francisco A Doria, Newton C.A. da Costa πŸ“‚ Library πŸ“… 2011 πŸ› CRC Press 🌐 English

<P>Kurt GΓΆdel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of the 20th century, with his contributions extending to Einstein’s general relativity, as he proved that Einstein’s theory admits time machi