Exposition of undecidability
β Scribed by Jones.
- Year
- 1974
- Tongue
- English
- Leaves
- 16
- Category
- Library
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
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
<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
<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