User loginNavigation 
ChurchTurning is False?Recently found a paper rebuking the ChurchTuring thesis on the grounds of infinite computations and the Ycombinator. It's a tongueincheek poke at Turing's UTM vs McCarthy's LISP, but has some interesting ideas in it. I know the researcher, he's a good guy and should join LtU if he's not lurking already. Although you may question his sanity after reating this.. Infinite Order Logic and the ChurchTuring Thesis His conclusions include:
You can see his research and other papers (under resume) here. By Bryan Turner at 20060612 18:29  LtU Forum  previous forum topic  next forum topic  other blogs  10410 reads

Browse archivesActive forum topics 
Recent comments
1 day 12 hours ago
3 days 23 hours ago
2 weeks 8 hours ago
2 weeks 8 hours ago
2 weeks 1 day ago
3 weeks 5 days ago
4 weeks 8 hours ago
4 weeks 12 hours ago
4 weeks 1 day ago
5 weeks 3 hours ago