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. -- Errett Bishop, "Foundations of
Constructive Analysis"
No comments:
Post a Comment