I can’t decide whether to have a page on Gödel or not, or whether such a page would really be about Gödel himself at all.