I am thinking about something much more important than bombs. I am thinking about computers.

Neumann, to a physicist seeking help with a difficult problem: Simple. This can be solved by using the method of characteristics. Physicist: I'm afraid I don't understand the method of characteristics. Neumann: In mathematics you don't understand things. You just get used to them.

I am thinking about something much more important than bombs. I am thinking about computers.

Truth is much too complicated to allow anything but approximations.

You don't have to be responsible for the world that you're in.

With four parameters I can fit an elephant, and with five I can make him wiggle his trunk.

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.