Alonzo Church

A developer has re-published Douglas Hofstadter's 1983 Scientific American introduction to Lisp, originally part of his Metamagical Themas column, for a new generation of programmers. The piece explai…

Jürgen Schmidhuber's Gödel Machine, a hypothetical self-improving AI that requires proof before modifying itself, remains unimplemented, but its ideas persist in modern AI research through self-modify…

Alan Turing (1912–1954), the mathematician and logician who laid the foundations for modern computing and artificial intelligence, is remembered for his 1936 Universal Turing Machine concept and for c…