display all the ideas for this combination of texts
1 idea
9591 | The human intellect has not been, and cannot be, fully formalized [Nagel/Newman] |
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. |