News for hackers. Stuff that matters.

A comment on How the modern world arose from imaginary numbers. Parent comment

Re:How the modern world arose from imaginary numbers by canjobear on Thursday February 10, 2022 @10:57AM (#30287998)
But it is still the case that IF the axioms hold, THEN the proofs are either valid or not.
[ Parent | on HN ]
Re:How the modern world arose from imaginary numbers by marcosdumay on Thursday February 10, 2022 @11:27AM (#30288522)
So it's conditional reality. Now make that fit within your usual realistic philosophy...
[ Parent | on HN ]
Re:How the modern world arose from imaginary numbers by canjobear on Thursday February 10, 2022 @11:42AM (#30288779)
Easy. There exist contingency relationships between axioms and theorems provable from those axioms.
[ Parent | on HN ]
Re:How the modern world arose from imaginary numbers by marcosdumay on Thursday February 10, 2022 @03:59PM (#30292418)
Oh, 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.

[ Parent | on HN ]