| 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. |