Good ideas and conversation. No ads, no tracking. Login or Take a Tour!
user-inactivated · 3187 days ago · link · · parent · post: Conwaylife.com: zdr: is this c/10 spaceship known?
The Church-Turing thesis is easy; it's a misnomer for a definition. Computable functions are those computable by a Turing machine. It didn't start out that way, hence the name, but that's all it is now.