(no title)
tromp | 6 days ago
I could write a few more given enough time, but writing later ones will take someone more omnipotent than me.
You may be confusing the true statement "for each n, BB(n) is computable" with the false statement "\n -> BB(n) is computable".
No comments yet.