an unfinished picture of kurt godel