Today is the 90th anniversary of Kurt Gödel's 1931 paper, which laid the foundations of theoretical computer science, identifying fundamental limitations of algorithmic theorem proving, computing, AI, logics, and math itself. - Text by Jürgen Schmidhuber
