Mathematical insight is non-algorithmic SupportiveArgument1 #1134 Many problems of mathematics—eg Gödel's incompleteness problem, the halting problem, etc—can be understood by conscious humans but can't be solved algorithmically. This shows mathematical insight is based on conscious non-algorithmic processes. |

Roger Penrose (1990). |