Reflections on Kurt Gödel