Church-Turing thesis remains unrefuted: every intuitive notion of computability proposed has reduced...
This proposition has not been edited since the history system was added.