Answer
Kurt Gödel was an Austrian-American logician and mathematician who made major contributions to the foundations of mathematics, mathematical logic, and theoretical computer science. Gödel is best known for his incompleteness theorems, which showed that no consistent system of axioms whose theorems can be listed by an "effective procedure" (essentially, a computer program) is capable of proving all truths about the natural numbers.