Beyond Zero and One (Andrew Smart) / quote 83 of 171
The robustness of mathematical truth
the precise mathematical entities from the approximations that we see around us in the world of physical things. In mathematics, we find a far greater robustness than can be located in any particular mind. Mathematics itself indeed seems to have a robustness that goes far beyond what any individual mathematician is capable of perceiving. Penrose admits that the actual mode of existence for mathematical truths is mysterious; however, what he means by their existence is their objective truth.