The Inside View cover image

Connor Leahy–EleutherAI, Conjecture

The Inside View

00:00

Why Is the Law of Excluded Middle the Best Law?

Law of excluded middle is a one of the axioms of classical logic, which basically says, every statement in logici, true or false. The problem with this law is that it is an implicit halting oracle. You can now assign a true or obvieusly halting state to non halting programms. This breaks everything. I love the law of excluding, unless you prove all these great things. And i'm like, no, it's its evil math. It's cursed.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app