Proof of the Diagonal Lemma in Logic
Persiflage 2020-05-25
Summary:
Why is the proof so short yet so difficult? Saeed Salehi is a logician at the University of Tabriz in Iran. Three years ago he gave a presentation at a Moscow workshop on proofs of the diagonal lemma. Today I thought I would discuss the famous diagonal lemma. The lemma is related to Georg Cantor’s […]