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.
John Von Neumann
George Boole
Arthur Cayley
Kurt Gödel