The emphasis on mathematical methods seems to be shifted more towards combinatorics and set theory - and away from the algorithm of differential equations which dominates mathematical physics.

Kurt Godel'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 Godel's achievement.

Life is a process which may be abstracted from other media.

If you tell me precisely what it is a machine cannot do, then I can always make a machine which will do just that.

You wake me up early in the morning to tell me I am right? Please wait until I am wrong.

The total subject of mathematics is clearly too broad for any of us. I do not think that any mathematician since Gauss has covered it uniformly and fully; even Hilbert did not and all of us are of considerably lesser width quite apart from the question of depth than Hilbert.

The sciences do not try to explain, they hardly even try to interpret, they mainly make models. By a model is meant a mathematical construct which, with the addition of certain verbal interpretations, describes observed phenomena. The justification of such a mathematical construct is solely and precisely that it is expected to work-that is, correctly to describe phenomena from a reasonably wide area.