|Mathematical insight is non-algorithmic|
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).
Click the button to enter task scheduling information