Lawvere's Fixed Point Theorem

Abstract

We discuss Lawvere’s Diagonal Arguments and Cartesian Closed Categories, where he shows how diagonal arguments have a natural home in Cartesian closed categories. We present Cantor’s theorem, Russell’s paradox, and Gödel’s incompleteness theorem within this framework.