His 1938 graduate thesis established the conditions under which mathematical systems are logically "
His 1938 graduate thesis established the conditions under which mathematical systems are logically "complete." After a stint as a cryptographer at Blechley Park during World War II, he proposed a rejected design for an "automated computing engine" more powerful than any of its early rivals. Name this British mathematician—for 10 points—most famous for suggesting a test to determine if computers "think."
His 1938 graduate thesis established the conditions under which mathematical systems are logically "complete."
Alan Mathison {Turing} [Gödel does not fit the facts]