Menu
Sign In Pricing Add Podcast

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

AMA | September 2024

10016.69 - 10039.763 Sean Carroll

But the short answer is how do you know that your axioms are consistent? That is kind of the point. Gödel has proven you actually can't prove the consistency of the axioms within the system itself. And you might have a feeling that they are consistent, but that's not a proof of anything at all. And even a computer can sort of – guess at things that are not proven false.

0
💬 0

Comments

There are no comments yet.

Log in to comment.