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

Browse archivesActive forum topicsNew forum topics

Recent comments
3 hours 51 min ago
5 hours 10 min ago
5 hours 32 min ago
9 hours 3 min ago
14 hours 55 min ago
15 hours 1 min ago
16 hours 56 min ago
1 day 2 hours ago
1 day 22 hours ago
2 days 8 hours ago