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