/sci/ - Science & Math

Just to be clear: we are all in agreement that even if (You) have
>muh "definition of computability"
we can still *informally compute* with your noncomputability proofs that specific real numbers are noncomputable, using diagonalization arguments, transfinite recursion, AC, &c.
in other words, they're only "noncomputable" from the point of view of your primitive CS brains bound to weak and feeble finite bodies, while us mathchads send thunderbolts down like Zeus