Vibe-Explaining Diagonalisation

Written as a MATS extension fellow, mentored by Richard Ngo.Diagonalisation is a bundle of techniques used to generate paradoxes of self-reference in math. These techniques show up under different names across set theory, logic, and computer science. This post takes a stab at abstracting all the diagonalisation arguments into an informal common denominator.12The argumentConsider a language L, which we discuss using a meta-language ML. You can think of ML as an exhaustive collection of pointers…