Who is known for the incompleteness theorems in mathematical logic?

Kurt Gödel

Next question