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.

Nothing new had been done in Logic since Aristotle!

I like Islam, it is a consistent idea of religion and open-minded.

The axiomatic method is very powerful.

I don’t believe in empirical science. I only believe in a priori truth.

The physical laws, in their observable consequences, have a finite limit of precision.

All generalisations – perhaps except this one – are false.

The more I think about language, the more it amazes me that people ever understand each other at all.

I am convinced of the afterlife, independent of theology. If the world is rationally constructed, there must be an afterlife.