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