![]() |
Kurt Gödel
(28 Apr 1906 - 14 Jan 1978)
Austrian-American mathematician, logician and author.
|
Science Quotes by Kurt Gödel (4 quotes)
Classes and concepts may, however, also be conceived as real objects, namely classes as “pluralities of things” or as structures consisting of a plurality of things and concepts as the properties and relations of things existing independently of our definitions and constructions. It seems to me that the assumption of such objects is quite as legitimate as the assumption of physical bodies and there is quite as much reason to believe in their existence. They are in the same sense necessary to obtain a satisfactory system of mathematics as physical bodies are necessary for a satisfactory theory of our sense perceptions…
— Kurt Gödel
In 'Russell's Mathematical Logic', in P.A. Schilpp (ed.), The Philosophy of Bertrand Russell (1944), Vol. 1, 137.
John Bahcall, an astronomer on the Institute of Advanced Study faculty since 1970 likes to tell the story of his first faculty dinner, when he found himself seated across from Kurt Gödel, … a man dedicated to logic and the clean certainties of mathematical abstraction. Bahcall introduced himself and mentioned that he was a physicist. Gödel replied, “I don’t believe in natural science.”
— Kurt Gödel
As stated in Adam Begley, 'The Lonely Genius Club', New York Magazine (30 Jan 1995), 63.
Non-standard analysis frequently simplifies substantially the proofs, not only of elementary theorems, but also of deep results. This is true, e.g., also for the proof of the existence of invariant subspaces for compact operators, disregarding the improvement of the result; and it is true in an even higher degree in other cases. This state of affairs should prevent a rather common misinterpretation of non-standard analysis, namely the idea that it is some kind of extravagance or fad of mathematical logicians. Nothing could be farther from the truth. Rather, there are good reasons to believe that non-standard analysis, in some version or other, will be the analysis of the future.
— Kurt Gödel
In 'Remark on Non-standard Analysis' (1974), in S. Feferman (ed.), Kurt Gödel Collected Works: Publications 1938-1974 (1990), Vol. 2, 311.
The development of mathematics toward greater precision has led, as is well known, to the formalization of large tracts of it, so that one can prove any theorem using nothing but a few mechanical rules... One might therefore conjecture that these axioms and rules of inference are sufficient to decide any mathematical question that can at all be formally expressed in these systems. It will be shown below that this is not the case, that on the contrary there are in the two systems mentioned relatively simple problems in the theory of integers that cannot be decided on the basis of the axioms.
— Kurt Gödel
'On Formally Undecidable Propositions of Principia Mathematica and Related Systems I' (193 1), in S. Feferman (ed.), Kurt Gödel Collected Works: Publications 1929-1936 (1986), Vol. I, 145.
Quotes by others about Kurt Gödel (4)
In both social and natural sciences, the body of positive knowledge grows by the failure of a tentative hypothesis to predict phenomena the hypothesis professes to explain; by the patching up of that hypothesis until someone suggests a new hypothesis that more elegantly or simply embodies the troublesome phenomena, and so on ad infinitum. In both, experiment is sometimes possible, sometimes not (witness meteorology). In both, no experiment is ever completely controlled, and experience often offers evidence that is the equivalent of controlled experiment. In both, there is no way to have a self-contained closed system or to avoid interaction between the observer and the observed. The Gödel theorem in mathematics, the Heisenberg uncertainty principle in physics, the self-fulfilling or self-defeating prophecy in the social sciences all exemplify these limitations.
Inflation and Unemployment (1976), 348.
Gödel proved that the world of pure mathematics is inexhaustible; no finite set of axioms and rules of inference can ever encompass the whole of mathematics; given any finite set of axioms, we can find meaningful mathematical questions which the axioms leave unanswered. I hope that an analogous Situation exists in the physical world. If my view of the future is correct, it means that the world of physics and astronomy is also inexhaustible; no matter how far we go into the future, there will always be new things happening, new information coming in, new worlds to explore, a constantly expanding domain of life, consciousness, and memory.
From Lecture 1, 'Philosophy', in a series of four James Arthur Lectures, 'Lectures on Time and its Mysteries' at New York University (Autumn 1978). Printed in 'Time Without End: Physics and Biology in an Open Universe', Reviews of Modern Physics (Jul 1979), 51, 449.
Kurt Gödel’s achievement in modern logic is singular and monumental—indeed it is more than a monument, it is a landmark which will remain visible far in space and time. … The subject of logic has certainly completely changed its nature and possibilities with Gödel's achievement.
From remarks at the Presentation (Mar 1951) of the Albert Einstein Award to Dr. Gödel, as quoted in 'Tribute to Dr. Gödel', in Jack J. Bulloff, Thomas C. Holyok (eds.), Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel (1969), ix.
https://books.google.com/books?id=irZLAAAAMAAJ
Kurt Gödel, Jack J. Bulloff, Thomas C. Holyoke - 1969 -
John Bahcall, an astronomer on the Institute of Advanced Study faculty since 1970 likes to tell the story of his first faculty dinner, when he found himself seated across from Kurt Gödel, … a man dedicated to logic and the clean certainties of mathematical abstraction. Bahcall introduced himself and mentioned that he was a physicist. Gödel replied, “I don’t believe in natural science.”
As stated in Adam Begley, 'The Lonely Genius Club', New York Magazine (30 Jan 1995), 63.
See also:
- 28 Apr - short biography, births, deaths and events on date of Gödel's birth.