Mathematicians From Austria

"What we call thought (1) is itself an orderly thing, and (2) can only be applied to material, i.e. to perceptions or experiences, which have a certain degree of orderliness. This has two consequences. First, a physical organization, to be in close correspondence with thought (as my brain is with my thought) must be a very well-ordered organization, and that means that the events that happen within it must obey strict physical laws, at least to a very high degree of accuracy. Secondly, the physical impressions made upon that physically well-organized system by other bodies from outside, obviously correspond to the perception and experience of the corresponding thought, forming its material, as I have called it. Therefore, the physical interactions between our system and others must, as a rule, themselves possess a certain degree of physical orderliness, that is to say, they too must obey strict physical laws to a certain degree of accuracy. PHYSICAL LAWS REST ON ATOMIC STATISTICS AND ARE THEREFORE ONLY APPROXIMATE"

"In physics we have dealt hitherto only with periodic crystals. To a humble physicist's mind, these are very interesting and complicated objects; they constitute one of the most fascinating and complex material structures by which inanimate nature puzzles his wits. Yet, compared with the aperiodic crystal, they are rather plain and dull. The difference in structure is of the same kind as that between an ordinary wallpaper in which the same pattern is repeated again and again in regular periodicity and a masterpiece of embroidery, say a Raphael tapestry, which shows no dull repetition, but an elaborate, coherent, meaningful design traced by the great master."

"The laws of physics and chemistry are statistical throughout."

"It is these chromosomes … that contain in some kind of code-script the entire pattern of the individual's future development and of its functioning in the mature state. Every complete set of chromosomes contains the full code..."

"We have just introduced the term gene for the hypothetical material carrier of a definite hereditary feature..."

"In Darwin's theory, you just have to substitute 'mutations' for his 'slight accidental variations' (just as quantum theory substitutes 'quantum jump' for 'continuous transfer of energy'). In all other respects little change was necessary in Darwin's theory..."

"How would we express in terms of the statistical theory the marvelous faculty of a living organism, by which it delays the decay into thermodynamical equilibrium (death)?... the device by which an organism maintains itself stationary at a fairly high level of orderliness... really consists in continually sucking orderliness from its environment."

"We must therefore not be discouraged by the difficulty of interpreting life by the ordinary laws of physics. For that is just what is to be expected from the knowledge we have gained of the structure of living matter. We must also be prepared to find a new type of physical law prevailing in it. Or are we to term it a non-physical, not to say a super-physical, law?"

"The only possible alternative is simply to keep to immediate experience that consciousness is a singular of which the plural is unknown; that there is only one thing and that what seems to be a plurality is merely a series of different aspects of this one thing, produced by a deception (the Indian MAJA); the same illusion is produced in a gallery of mirrors, and in the same way Gaurisankar and Mt Everest turned out to be the same peak seen from different valleys."

"From the early great Upanishads, the recognition ATHMAN = BRAHMAN (the personal self equals the omnipresent, all-comprehending eternal self) was in Indian thought considered, far from being blasphemous, to represent the quintessence of deepest insight into the happenings of the world. The striving of all the scholars of Vedanta was, after having learnt to pronounce with their lips, really to assimilate in their minds this grandest of all thoughts."

"Not one word is said here of acausality, wave mechanics, indeterminacy relations, complementarity, … etc. Why doesn’t he talk about what he knows instead of trespassing on the professional philosopher’s preserves? Ne sutor supra crepidam. On this I can cheerfully justify myself: because I do not think that these things have as much connection as is currently supposed with a philosophical view of the world."

"To every ω-consistent recursive class κ of formulae there correspond recursive class signs r, such that neither v Gen r nor Neg (v Gen r) belongs to Flg (κ) (where v is the free variable of r)."

"The one man who was, during the last years, certainly by far Einstein's best friend, and in some ways strangely resembled him most, was Kurt Gödel, The great logician. They were very different in almost every personal way — Einstein gregarious, happy, full of laughter and common sense, and Gödel extremely solemn, very serious, quite solitary, and distrustful of common sense as a means of arriving at the truth. But they shared a fundamental quality: both went directly and wholeheartedly to the questions at the very center of things."

"Toward the end of his life, Gödel feared that he was being poisoned, and he starved himself to death. His theorem is one of the most extraordinary results in mathematics, or in any intellectual field in this century. If ever potential mental instability is detectable by genetic analysis, an embryo of someone with Kurt Gödel's gifts might be aborted."

"... according to what Veblen told me, the association between Einstein and Gödel arose in the following way. Veblen felt that he had to look out for Gödel, and spent quite a lot of time talking with him. And then, he thought that he might perhaps get Einstein to take over part of this responsibility. And that seemed to go so extremely well that Veblen removed himself, essentially, from the picture. Einstein and Gödel remained very close. They tended to come to the Institute together, and leave the Institute together, very often. Of course, Gödel's interest in the theory of relativity theory undoubtedly goes back to this association with Einstein. ... I don't think he had any interest in physics before that. I know he had some philosophical interests, but I think the specific interest in the theory of relativity, in which he did write some papers and create some results of significance, that goes back to that association."

"In the 1970s I even got to meet Kurt Gödel a few times. The king of the logicians. Gödel once told me, “The a priori is very powerful.” By this he meant that pure logic can take you farther than you might believe possible."

"Not even mathematics can be considered as a closed and complete system of axioms and theorems. The mathematical world is inexhaustible, no finite set of postulates and deductions will ever be able to give us the answer to all questions. Gödel's theorem, whose statement dates back to about half a century ago, brutally put an end to all attempts to condense mathematics into a list of axioms from which the truth or falsity of each of its assertions should follow. If the same mathematical language that physics uses to describe the world remains intrinsically incomplete, it is not reasonable to expect that the universe can be describable starting from a finite set of natural laws. The incompleteness of mathematics and consequently that of physics is repugnant to many, but it must be said that for the exact sciences, Gödel's theorem is by no means a defeat: on the contrary, it provides us with an intellectual push towards ever broader and more fruitful developments."

"After Einstein's death, Gödel's sense of exile must have deepened enormously. When Einstein had been ordered by his doctor to take a rest cure, there had been nobody, as Gödel complained to his mother, for him to speak to. Now there would permanently be nobody."

"The progenitor of information theory, and perhaps the pivotal figure in the recent history of human thought, was Kurt Gödel, the eccentric Austriac 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."

"In the end we search out the beginnings. Established, beyond comparison, as the most important logician of our times by his remarkable results of the 1930s, Kurt Gödel was also most unusual in the ways of his life and mind. Deeply private and reserved, he had a superb all embracing rationality, which could descend into a maddening attention to detail in matters of everyday life."

"Gödel published comparatively little, but almost always to maximum effect; his papers are models of precision and incisive presentation."

"Fifty years ago Kurt 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. This discovery... came at first as an unwelcome shock to many mathematicians. It destroyed... the hope that they could solve the problem of deciding by a systematic procedure the truth or falsehood of any mathematical statement. ...Gödel's theorem, in denying ...the possibility of a universal algorithm to settle all questions, gave... instead, a guarantee that mathematics can never die. ...there will always be, thanks to Gödel, fresh questions to ask and fresh ideas to discover."

"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."

"The more I think about language, the more it amazes me that people ever understand each other at all."

"Secondly, even disregarding the intrinsic necessity of some new axiom, and even in case it has no intrinsic necessity at all, a probable decision about its truth is possible also in another way, namely, inductively by studying its "success." Success here means fruitfulness in consequences, in particular in "verifiable" consequences, i.e. consequences verifiable without the new axiom, whose proofs with the help of the new axiom, however, are considerably simpler and easier to discover, and make it possible to contract into one proof many different proofs. The axioms for the system of real numbers, rejected by the intuitionists, have in this sense been verified to some extent, owing to the fact that analytic number theory frequently allows one to prove number-theoretical theorems which, in a more cumbersome way, can subsequently be verified by elementary methods. A much higher degree of verification than that, however, is conceivable. There might exists axioms so abundant in their verifiable consequences, shedding so much light upon a whole field, and yielding such powerful methods for solving problems, (and even solving them constructively, as far as that is possible) that, no matter whether or not they are intrinsically necessary, they would have to be accepted at least in the same sense as any well-established physical theory."

"The meaning of the world is the separation of wish and fact. Wish is a force as applied to thinking beings, to realize something. A fulfilled wish is a union of wish and fact. The meaning of the whole world is the separation and the union of fact and wish."

"Ninety percent of [contemporary philosophers] see their principal task as that of beating religion out of men's heads. … We are far from being able to provide scientific basis for the theological world view."

"Religions are, for the most part, bad-but religion is not."

"There are other worlds and rational beings of a different and higher kind. The world in which we live is not the only one in which we shall live or have lived."

"I like Islam, it is a consistent idea of religion and open-minded."

"The formation in geological time of the human body by the laws of physics (or any other laws of similar nature), starting from a random distribution of elementary particles and the field is as unlikely as the separation of the atmosphere into its components. The complexity of the living things has to be present within the material [from which they are derived] or in the laws [governing their formation]."

"Either mathematics is too big for the human mind, or the human mind is more than a machine."

"But every error is due to extraneous factors (such as emotion and education); reason itself does not err."

"The completeness theorem, mathematically, is indeed an almost trivial consequence of Skolem 1923a. However, the fact is that, at that time, nobody (including Skolem himself) drew this conclusion (neither from Skolem 1923a nor, as I did, from similar considerations of his own)."