"The name of Kurt Gödel often appears in the pages of this magazine, and with reason. After all, the thought process that led to modern computing has Gödel as a major milestone and can be clumsily summarized as follows: Cantor ⇒ Hilbert ⇒ Russell ⇒ Gödel ⇒ Church ⇒ Turing ⇒ Von Neumann."
Add comment