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

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.

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

All stable processes we shall predict. All unstable processes we shall control.

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.

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.

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