The completeness theorem, mathematically, is indeed an almost trivial — Kurt Gödel

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

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

"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ödels more reasonable fears."

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

"... 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ödels interest in the theory of relativity theory undoubtedly goes back to this association with Einstein. ... I dont 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."

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

"As long as you keep getting born, it’s okay to die sometimes."

"The smart way to keep people passive and obedient is to strictly limit the spectrum of acceptable opinion, but allow very lively debate within that spectrum - even encourage the more critical and dissident views. That gives people the sense that theres free thinking going on, while all the time the presuppositions of the system are being reinforced by the limits put on the range of the debate."

"History is a strange experience. The world is quite small now; but history is large and deep. Sometimes you can go much farther by sitting in your own home and reading a book of history, than by getting onto a ship or an airplane and traveling a thousand miles. When you go to Mexico City through space, you find it a sort of cross between modern Madrid and modern Chicago, with additions of its own; but if you go to Mexico City through history, back only 500 years, you will find it as distant as though it were on another planet: inhabited by cultivated barbarians, sensitive and cruel, highly organized and still in the Copper Age, a collection of startling, of unbelievable contrasts."

"As soon as a thought or word becomes a tool, one can dispense with actually ‘thinking’ it, that is, with going through the logical acts involved in verbal formulation of it. As has been pointed out, often and correctly, the advantage of mathematics—the model of all neo-positivistic thinking—lies in just this ‘intellectual economy.’ Complicated logical operations are carried out without actual performance of the intellectual acts upon which the mathematical and logical symbols are based. … Reason … becomes a fetish, a magic entity that is accepted rather than intellectually experienced."

"Our feminist culture at the present moment is completely dependent on capitalism. My grandmother was still scrubbing clothes on the back porch on a washboard!"

"A word of the faith that never balks, Here or henceforward it is all the same to me, I accept Time absolutely. It alone is without flaw, it alone rounds and completes all, That mystic baffling wonder alone completes all. (23)"