Kurt Godel (1906-1978) Nothing new had been done in Logic since Aristotle! Either mathematics is too big for the human mind or the human mind is more than a machine. I don't believe in natural science. The development of mathematics towards greater precision has led, as is well known, to the formalization of large tracts of it, so that one can prove any theorem using nothing but a few mechanical rules. ...a consistency proof for [any] system ... can be carried out only by means of modes of inference that are not formalized in the system ... itself.