アインシュタイン方程式
アインシュタイン方程式の厳密解であるフリードマン・ルメートル・ロバートソン・ウォーカー計量を考案した。エンリコ・フェルミとともに、という概念を導入した。