Kurt Gödel
The solution was found in 1949 by Kurt Gödel.