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 😨

Update: *just* managed to squeeze the whole Completeness Theorem proof into the single lecture. Boy the construction process and the reasoning behind it are extremely tedious 😞

@btcprox here's a more digestible version: academic.oup.com/mind/article/
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. Use $$ and $$ for inline LaTeX, and $ and $ for display mode.