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