portrait of Kurt Godel, by Robert McGinnis