“Gödel demonstrated that every logical scheme, including mathematics, is dependent upon axioms that it cannot prove and that cannot be reduced to the scheme itself.”

— George Gilder

Knowledge and Power : The Information Theory of Capitalism and How it is Revolutionizing our World (2013), Ch. 10: Romer's Recipes and Their Limits 
Context: Academic scientists of any sort expect to be struck by lightning if they celebrate real creation de novo in the world. One does not expect modern scientists to address creation by God. They have a right to their professional figments such as infinite multiple parallel universes. But it is a strange testimony to our academic life that they also feel it necessary of entrepreneurship to chemistry and cuisine, Romer finally succumbs to the materialist supersition: the idea that human beings and their ideas are ultimately material. Out of the scientistic fog there emerged in the middle of the last century the countervailling ideas if information theory and computer science. The progenitor of information theory, and perhaps the pivotal figure in the recent history of human thought, was Kurt Gödel, the eccentric Austrian genius and intimate of Einstein who drove determinism from its strongest and most indispensable redoubt; the coherence, consistency, and self-sufficiency of mathematics.
Gödel demonstrated that every logical scheme, including mathematics, is dependent upon axioms that it cannot prove and that cannot be reduced to the scheme itself. In an elegant mathematical proof, introduced to the world by the great mathematician and computer scientist John von Neumann in September 1930, Gödel demonstrated that mathematics was intrinsically incomplete. Gödel was reportedly concerned that he might have inadvertently proved the existence of God, a faux pas in his Viennese and Princeton circle. It was one of the famously paranoid Gödel's more reasonable fears. As the economist Steven Landsberg, an academic atheist, put it, "Mathematics is the only faith-based science that can prove it."

Adopted from Wikiquote. Last update June 3, 2021. History

Help us to complete the source, original and additional information

Do you have more details about the quote "Gödel demonstrated that every logical scheme, including mathematics, is dependent upon axioms that it cannot prove and …" by George Gilder?

George Gilder 9

technology writer 1939

Related quotes

“If a "religion" is defined to be a system of ideas that contains unprovable statements, then Gödel taught us that mathematics is not only a religion, it is the only religion that can prove itself to be one.”

Bertrand Russell (1872–1970) logician, one of the first analytic philosophers and political activist

John D. Barrow, Between Inner and Outer Space: Essays on Science, Art and Philosophy (Oxford University Press, 2000, ISBN 0-192-88041-1, Part 4, ch. 13: Why is the Universe Mathematical? (p. 88). Also found in Barrow's "The Mathematical Universe" http://www.lasalle.edu/~didio/courses/hon462/hon462_assets/mathematical_universe.htm (1989) and The Artful Universe Expanded (Oxford University Press, 2005, ISBN 0-192-80569-X, ch. 5, Player Piano: Hearing by Numbers, p. 250
Misattributed

“If a 'religion' is defined to be a system of ideas that contains unprovable statements, then Gödel taught us that mathematics is not only a religion, it is the only religion that can prove itself to be one.”

John D. Barrow (1952–2020) British scientist

The Artful Universe (1995)
Context: If a 'religion' is defined to be a system of ideas that contains unprovable statements, then Gödel taught us that mathematics is not only a religion, it is the only religion that can prove itself to be one.<!-- Ch. 5, p. 211

“The life of the law has not been logic; it has been experience… The law embodies the story of a nation's development through many centuries, and it cannot be dealt with as if it contained only the axioms and corollaries of a book of mathematics.”

Oliver Wendell Holmes Jr. book The Common Law

The Common Law (1881), p. 1.
1880s

“No reference is truly direct—every reference depends on some kind of coding scheme. It's just a question of how implicit it is.”

Douglas Hofstadter book Gödel, Escher, Bach: an Eternal Golden Braid

"Six-Part Ricercar"
Gödel, Escher, Bach: an Eternal Golden Braid (1979)

“Fifty years ago Kurt Gödel… proved that the world of pure mathematics is inexhaustible. … I hope that the notion of a final statement of the laws of physics will prove as illusory as the notion of a formal decision process for all mathematics.”

Freeman Dyson book Infinite in All Directions

Source: Infinite in All Directions (1988), Ch. 3 : Manchester and Athens
Context: Fifty years ago Kurt Gödel... proved that the world of pure mathematics is inexhaustible. … I hope that the notion of a final statement of the laws of physics will prove as illusory as the notion of a formal decision process for all mathematics. If it should turn out that the whole of physical reality can be described by a finite set of equations, I would be disappointed, I would feel that the Creator had been uncharacteristically lacking in imagination.

“The greatest part of mankind want leisure or capacity for demonstration, nor can carry a train of proofs, which in that way they must always depend upon for conviction, and cannot be required to assent to till they see the demonstration.”

John Locke (1632–1704) English philosopher and physician

§ 243
The Reasonableness of Christianity (1695)
Context: The greatest part of mankind want leisure or capacity for demonstration, nor can carry a train of proofs, which in that way they must always depend upon for conviction, and cannot be required to assent to till they see the demonstration. Wherever they stick, the teachers are always put upon proof, and must clear the doubt by a thread of coherent deductions from the first principle, how long or how intricate soever that be. And you may as soon hope to leave all the day labourers and tradesmen, the spinsters and dairy-maids, perfect mathematicians, as to have them perfect in ethics this way: having plain commands is the sure and only course to bring them to obedience and practice: the greatest part cannot know, and therefore they must believe. And I ask, whether one coming from heaven in the power of God, in full and clear evidence and demonstration of miracles, giving plain and direct rules of morality and obedience, be not likelier to enlighten the bulk of mankind, and set them right in their duties, and bring them to do them, than by reasoning with them from general notions and principles of human reason?