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

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

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

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

Said to physicist John Bahcall. I don't believe in natural science.

But every error is due to extraneous factors (such as emotion and education); reason itself does not err.

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