Bishop quote
Saturday, December 3rd, 2005Eric Schechter’s Handbook of Analysis and Its Foundations has a cool quote from constructivist mathematician Errett Bishop:
Mathematics belongs to man, not to God. We are not interested in properties of the positive integers that have no descriptive meaning for finite man. 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.