a thoughtful web.
Good ideas and conversation. No ads, no tracking.   Login or Take a Tour!
comment
user-inactivated  ·  2967 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.