Reflections on Kurt Gdel