Answer by Asaf Karagila for Dedekind Cuts and Computable Numbers
Let me give you an analog, but far more ridiculous argument which also fails.Every $A\subseteq \Bbb N$ is the union of $A_n=A\cap\{0,\ldots,n-1\}$. Since $\Bbb N$ is arithmetical (definable in the...
View ArticleDedekind Cuts and Computable Numbers
Can someone please tell me where I'm wrong? I'm not able to figure out where is the error: First let's define what a computable number is: a number is computable if there is a Turing Machine that can...
View Article
More Pages to Explore .....