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.
What logical system are you saying is grounded in circular reasoning, paradox, or assumptions?
All. Show me a proof of implication without using either, I’m waiting.
Because modern peer reviewed science sure isn’t.
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.
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.