Follow

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 ðŸ˜¨

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

btcprox ðŸ”¢@btcprox@mathstodon.xyzUpdate: *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 ðŸ˜ž