a thoughtful web.
Good ideas and conversation. No ads, no tracking.   Login or Take a Tour!
comment by kleinbl00
kleinbl00  ·  3189 days ago  ·  link  ·    ·  parent  ·  post: Conwaylife.com: zdr: is this c/10 spaceship known?

See, and I look at that link and think "kinda looks like the crossroads between Tegmark and Dawkins" and then I look up Church-Turing thesis and I recognize that some aspects of learning will be forever beyond my grasp.





user-inactivated  ·  3189 days ago  ·  link  ·  

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.