green numbers give full details | back to texts | unexpand this idea
9591 | The human intellect has not been, and cannot be, fully formalized |
Full Idea: The resources of the human intellect have not been, and cannot be, fully formalized. | |||
From: E Nagel / JR Newman (Gödel's Proof [1958], VIII) | |||
A reaction: This conclusion derives from Gödel's Theorem. Some people (e.g. Penrose) get over-excited by this discovery, and conclude that the human mind is supernatural. Imagination is the key - it is a feature of rationality that escapes mechanization. |