The real work of us mathematicians, from now until, roughly, fifty years from now, when computers won't need us anymore, is to make the transition from human-centric math to machine-centric math as smooth and efficient as possible.

The 'lowly' finite is MUCH more beautiful than any 'infinite'

When a problem seems intractable, it is often a good idea to try to study "toy" versions of it in the hope that as the toys become increasingly larger and more sophisticated, they would metamorphose, in the limit, to the real thing.

Conventional wisdom, fooled by our misleading "physical intuition", is that the real world is "continuous", and that discrete models are necessary evils for approximating the "real" world, due to the innate discreteness of the digital computer.

The real work of us mathematicians, from now until, roughly, fifty years from now, when computers won't need us anymore, is to make the transition from human-centric math to machine-centric math as smooth and efficient as possible.

Regardless of whether or not God exists, God has no place in mathematics, at least in my book.

Programming is much much harder than doing mathematics.