P people.idsia.ch 1931: Kurt Gödel shows limits of math, logic, computing, AI 347 points hardmaru 5 years ago 296 comments
