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 | 10893 reads
|
Browse archivesActive forum topicsNew forum topics
|
Recent comments
5 hours 47 min ago
3 days 1 hour ago
3 days 2 hours ago
3 days 14 hours ago
3 days 14 hours ago
4 days 2 hours ago
4 days 16 hours ago
3 weeks 2 hours ago
3 weeks 3 hours ago
4 weeks 15 hours ago