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—f
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]