169 followers
@RemivanTrijp @coppola_ai Interesting thread. I think there's good evidence that Emil Post's work was more prominent in SS. And Post's production systems are Turing complete. https://t.co/xCvdwnlUzU
@RemivanTrijp @coppola_ai Interesting thread. I think there's good evidence that Emil Post's work was more prominent in SS. And Post's production systems are Turing complete. https://t.co/xCvdwnlUzU
@hartkp @ionicasmeets Toch heeft zelfs Pullum de wiskunde van Langendoen & Postal niet zo grondig op de pijnbank gelegd als hier gebeurt, dus @hartkp vult een leemte (als ik het van iemand had verwacht was het Pullum, die dit wel deed voor ander werk,