Gödel and Turing outlined the limits of AI · HackerTrans