Our lecturer is about to lay out the proof for Gödel's Completeness Theorem, and it's the first time I've heard any lecturer say that a proof *might* stretch across two lectures 😨
@btcprox here's a more digestible version: https://academic.oup.com/mind/article/103/409/1/990886
Gödel's Second Incompleteness Theorem Explained in Words of One Syllable
@christianp *Completeness* Theorem, not Incompleteness :P
@btcprox whoops! I don't have an explanation of that in words of one syllable
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.