The Girdle in Completeness Theorem Is the Key Paradox

We don't need a decision procedure for first order logical truth in order to use first order sentences to explain information. A i think, to me, what is fascinating is all these results are really applications of paradoxes. The liar paradox is the key paradox. What i am saying now is not true. Ah, but in the meantime, we're talking to one another right now. That's perfectly fine. I mean, in terms of, weor and we don’t need a decision.

Transcript

Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.