4 ms·
But it is still the case that IF the axioms hold, THEN the proofs are either valid or not.
by canjobear 5y ago
But it is still the case that IF the axioms hold, THEN the proofs are either valid or not.
- marcosdumay 5y agoSo it's conditional reality. Now make that fit within your usual realistic philosophy...
- canjobear 5y agoEasy. There exist contingency relationships between axioms and theorems provable from those axioms.
- marcosdumay 5y agoOh, yeas, your proof is quite real. And it's completely meaningless, being all about imaginary things. It can only have any meaning if you adhere to some scientific model. At this point you've deviated so much from the OP discussion that you could as well talk about angels dancing in pinheads. Any quantification of them is as real as your proof.