>How does analysis require the existence of uncomputable reals? I don't know what the other person was referring to, but from many important theorems of analysis you can prove the existence of uncomputable reals. For…
>How does analysis require the existence of uncomputable reals? I don't know what the other person was referring to, but from many important theorems of analysis you can prove the existence of uncomputable reals. For…