“the life and work of Kurt Gödel”