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:
Gödel's Second Incompleteness Theorem Explained in Words of One Syllable

@btcprox whoops! I don't have an explanation of that in words of one syllable

Sign in to participate in the conversation

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.