Either mathematics is too big for the human mind or the human mind is more than a machine.
All generalizations, with the possible exception of this one, are false.
I don't believe in empirical science. I only believe in a priori truth.
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.
Said to physicist John Bahcall. I don't believe in natural science.
The axiomatic method is very powerful