green numbers give full details.     |    back to list of philosophers     |     unexpand these ideas

---

Ideas of E Nagel / JR Newman, by Text

[American, fl. 1958, Professor at Columbia, and a popular science writer.]

1958	Gödel's Proof

VIII	p.112	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.