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  11539 reads

Browse archivesActive forum topics 
Recent comments
11 hours 55 min ago
2 weeks 8 hours ago
6 weeks 1 day ago
6 weeks 6 days ago
6 weeks 6 days ago
8 weeks 5 days ago
8 weeks 5 days ago
9 weeks 1 day ago
9 weeks 1 day ago
10 weeks 1 day ago