Originally Posted by
desiresjab
A famous mathemetician, maybe Barrow who wrote Pi In The Sky, envisioned a system of math from a civilization which did not require proofs for propositions to be defined as true. A quadrillion examples without a counter example appearing was rigorous enough for them. They were able to perform other operations with perfect confidence (for them) that no counter examples would ever crop up. They could assume, for instance, that there are infinite pairs of twin primes, and base further calculations on this "fact," from which they might glean other "facts." This mathematics would be philosophically different from ours, yet easily capable of existing.