User loginNavigation |
Church-Turning is False?Recently found a paper rebuking the Church-Turing thesis on the grounds of infinite computations and the Y-combinator. It's a tongue-in-cheek 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 Church-Turing Thesis His conclusions include:
You can see his research and other papers (under resume) here. By Bryan Turner at 2006-06-12 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