Gödel and Turing outlined the limits of AI | Hacker News Reader