Instructions Full Game: These are multiple-choice quizzes with four possible answer choices that include all questions in a given set.     
Identify the following individual:

Lived: 1906 - 1978
Published two incompleteness theorems in 1931, as well as a completeness theorem. Developed a technique which codes formal expressions as natural numbers.
David Hilbert
Robert Boyle
Kurt Gödel
Wilhelm Röntgen