Comment on How is woke a religion?
teft@startrek.website 9 months agoall logical systems are grounded in circular reasoning, paradox, or assumptions not provable in that system.
That’s a hell of an assertion you have there. We have mathematical papers that prove 1+1=2. What logical system are you saying is grounded in circular reasoning, paradox, or assumptions? Because modern peer reviewed science sure isn’t.
barsoap@lemm.ee 9 months ago
They postulate systems in which that is entailed. Generally, as we’re speaking about maths, with assumptions (axioms) not provable in that system, mathematicians don’t like basing things on circular or paradox stuff but ultimately that’s a matter of taste, not what the system can express.
All. Show me a proof of implication without using either, I’m waiting.
It is based on the scientific method which can be understood as an algorithm which via Curry-Howard and Church is a logic which, well, see above. The universe might just as well be a Holtzmann brain and in exactly 15 seconds after you read this it’s going to switch to a different dream, and you’ll never know.
Now you may not like that we ultimately have nothing to stand on but that’s your problem, not that of the universe. Or science. Don’t shoot the messenger.