Letters

Limits to Our Knowledge

See allHide authors and affiliations

Science  25 Feb 2000:
Vol. 287, Issue 5457, pp. 1399
DOI: 10.1126/science.287.5457.1399b

In his Editorial “Endless pathways of discovery” (14 Jan., p. 229), Floyd E. Bloom writes, “[T]he most remarkable conclusion to emerge from this exercise was the realization [(1)] that in the millennium we are about to leave, humanity's knowledge of its place in the universe has moved from St. Thomas Aquinas's view that knowledge was of two types—that which man could know and that which was ‘higher than man's knowledge’ and not to be sought through reason—to the belief begun with Newton's Principia that our universe and all within it are indeed knowable.” In this century Kurt Gödel showed in his incompleteness theorem (2) that there are true statements that cannot be proved to be true, and Alan Turing (3) showed that an analogous problem lies at the foundation of the mathematics behind computing machines. Gregory Chaitin (4) has provided new proofs of these theorems based on information theory and has argued that such incompleteness is natural and widespread. To say that there are true statements that cannot be proved is to say that there are some things that we just cannot know, that are beyond human reasoning (5, 6)—which brings us full circle, back to Aquinas.

References

Navigate This Article