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

It's a very cool toy, but also the thing that made Stephen Wolfram go full crank so, you know, keep an eye out for nuttery if you go exploring in that direction.





kleinbl00  ·  2967 days ago  ·  link  ·  

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  ·  2967 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.