Godel, Kurt, 1906-1978