Either mathematics is too big for the human mind or the human mind is more than a machine.

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

...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.

Either mathematics is too big for the human mind or the human mind is more than a machine.

All generalisations - perhaps except this one - are false.

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

All generalizations, with the possible exception of this one, are false.