@taooftypes @codydroux @JDHamkins @PTOOP I wrote a PhD about it, published https://t.co/xcIyCORaVG, https://t.co/LGGhwdwl6S, https://t.co/vm9ny9YHAT, Implemented https://t.co/viKTez7Ege and https://t.co/Q7nDjjA2qS. But for you personally, here are some s
6,887 followers
4,660 followers
Computability and Incomputability https://t.co/aMnG70Hsfb
655 followers
@PeterKolchinsky You can identify computer viruses by looking at what version of recursion theorems they can be traced to. Maybe there would be something to say there wrt real viruses. https://t.co/qazfNHfbNr
11,955 followers
Shoutout for Pieter Adriaans https://t.co/3DjykWDAjU Learning as data compression https://t.co/8yvOpGmtVU #mlibres