Over at Terence Tao’s blog, the Fields medalist produces prodigious volumes of posts; some detail his major research work, some are course lecture notes, and then some are expository bits that he writes up for his own edification. I just noticed a post from April about Gödel’s completeness and compactness theorems. From a [...]