| Machine isn't capable of informal proof OpposingArgument1 #1109 A machine isn't capable of informal proof in the human sense. No matter how informal a machine's reasoning may appear to be, it will still be grounded in a formal system; so its informal proof's also formalisable, and subject to the Gödel procedure. |
John Lucas (1988). |