Godel Quotes

If a `religion' is defined to be a system of ideas that contains unprovable statements, then Godel taught us that mathematics is not only a religion, it is the only religion that can prove itself to be one. (John D. Barrow)

The members of the Vienna Circle (Moritz Schlick, Rudolf Carnap, Philipp Frank, Hans Hahn, Herbert Feigl, Fritz Waismann, Kurt Godel, Otto Neurath and others) are working out a ‘Logical Empiricism'. Following Ernst Mach and Poincaré, but above all Russell and Wittgenstein, all the sciences are treated uniformly. Carnap's Logischer Aufbau der Welt (1928) shows in which direction future systematic work will move. Wittgenstein's Tractatus Logico-Philosophicus (1921) clarified, among other things, the position of logic and mathematics; besides the statements that make additions to what is meaningful, there are the ‘tautologies' that show us which transformations are possible within language. By its syntax the language of science excludes anything that is meaningless from the very beginning.

Otto Neurath

If there were only some mechanism (like Seurat's proposed system of painting, or the projected Universal Algebra that Gödel believes Leibnitz to have perfected and mislaid) for reasonably and systematically converting into poetry what we see and feel and are! When one reads the verse of people who cannot write poems - people who sometimes have more intelligence, sensibility, and moral discrimination than most of the poets - it is hard not to regard the Muse as a sort of fairy godmother who says to the poet, after her colleagues have showered on him the most disconcerting and ambiguous gifts, "Well, never mind. You're still the only one that can write poetry."

Randall Jarrell

Proof itself, of any sort, is impossible, without an axiom (as Godel proved). Thus faith in God is a prerequisite for all proof.

Jordan Peterson

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

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

MacUser: Which person do you most admire? Jef Raskin: For what attribute? Once again you ask a question that linearises a complex matter. I can name many. Let's start with people named George: George Cantor for moving infinity out of philosophy into mathematics, George Washington for showing how a leader should relinquish power, and George Bernard Shaw for his humanity... Or we can do it by subject and admire Aristotle, Isaac Newton and Albert Einstein for their pulling from nature comprehensible laws; or Euclid, Gauss and Gödel for their contributions to mathematics; or people who have influenced me very directly, in which case I'd mention my very admirable parents and the teacher who taught me to be intellectually independent, L R Genise; or how about Claude Shannon without whose work on information theory I would have been lost.

Jef Raskin

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.

Freeman Dyson