 |
|
| FriendFeed is the easiest way to share online. Learn more » |
Aaron Sterling
The Dershowitz/Falkovich proof of the Extended Church-Turing Thesis - http://nanoexplanations.wordpress.com/2011...
July 30, 2011
from Nanoexplanations
- Comment
- Like
- Share
In a previous post, I considered a proof of the Church-Turing Thesis that Dershowitz and Gurevich published in the Bulletin of Symbolic Logic in 2008. It is safe to say that the proof is controversial — not because it is technically inaccurate, but because it relies on an axiomatization of computation that excludes randomness, parallelism [...]
- Aaron Sterling