"Classical mathematics concerns itself with operations that can be carried out by God. Mathematics belongs to man, not to God. When a man proves a positive integer to exist, he should show how to find it. If God has mathematics of his own that needs to be done, let him do it himself."

-Errett Bishop.