Monoidal Category Theory Sec. 3.4 Mini-Course: Self-Referential Paradoxes - Part Two
In this section, we conclude our exploration of Cantor's Theorem and delve into Turing's halting problem, fixed points in logic, Godel's Incompleteness Theorem, Tarski's Theorem, and Parikh's contributions.
Noson S. Yanofsky
143 views • Feb 6, 2025
About this video
We finish our discussion of Cantor's Theorem. We do Turing's halting problem, fixed points in logic, Godel's Incompleteness Theorem, Tarski's Theorem, Parikh's Sentences, Epimenidies paradox, the liar paradox, time-traveling paradoxes, and how the fixed point machine works.
Video Information
Views
143
Likes
6
Duration
01:33:25
Published
Feb 6, 2025
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now