David Guaspari was trained as a pure mathematician and considers himself to be, of all post‑19th-century mathematical logicians, the funniest.