4 ms·
Hewitt is now kind of a crank. When Hofstadter came over for the Symsys thing in Stanford a few years back, Hewitt handed Hofstadter a little sheet of paper say
by curuinor 8y ago
Hewitt is now kind of a crank. When Hofstadter came over for the Symsys thing in Stanford a few years back, Hewitt handed Hofstadter a little sheet of paper saying that mere contradiction allowed axiomatic systems to transcend Godel incompleteness theorems. Hofstadter: "Thanks, Carl." and then he threw it away when Hewitt wasn't looking. I think there's a thread in Lambda the Ultimate.
- jchassoul 8y agoand yet it moves
- arglebarnacle 8y agoYou can see a flash of that in this article with "Actor systems can perform computations that are impossible by Turing Machines"
- jchassoul 8y agoThe statement is true, Actor systems can handle uncertainty in ways that Turing Machines can not.
- imode 8y agoActor systems are no more able to handle uncertainty than Turing Machines are, either via nondeterministic TMs or by deterministic TMs. This is basic computability theory.
- jchassoul 8y agoThat is wrong, Actor systems have a property called "Unbounded nondeterminism" nondeterministic TM have only bounded nondeterminism. https://en.wikipedia.org/wiki/Unbounded_nondeterminism https://en.wikipedia.org/wiki/Unbounded_nondeterminism
- carlehewitt 8y agoJean is correct! Of course, unbounded nondeterminism is a somewhat artificial example. However, the extra power of Actors over Turing Machines is critical for IoT and the implementation of Intelligent Systems.
- imode 8y agoI'm sorry, but unless you produce a proof of hypercomputation with models that have unbounded determinism, you're a crank.
- carlehewitt 8y agoAs explained in the articles referenced, Actor systems have unbounded nondeterminism because of indeterminacy. No "hypercomputation" is required ;-)
- imode 8y agoPlease produce a proof regarding how this makes the Actor Model more powerful than the traditional Turing Machines. I suspect you're a crank.
- carlehewitt 8y agoUnfortunately, it is very common to have difficulty with paradigm shifts :-( Those of you near Denver can come to my BLAST 2018 lecture at 5PM on August 9 at the University of Denver with the following abstract: https://plus.google.com/+CarlHewitt-StandardIoT/posts/hh5CYEXFADY https://plus.google.com/+CarlHewitt-StandardIoT/posts/hh5CYE...
- imode 8y agoYou really don't understand computability at all, do you?
- sctb 8y agoPlease don't make personal attacks—just post civilly and substantively. https://news.ycombinator.com/newsguidelines.html https://news.ycombinator.com/newsguidelines.html
- imode 8y agoThat's not a personal attack, it's an honest question.
- carlehewitt 8y agoSCTB is correct. Sticking to the subject matter is the way to go. IMODE: Which part of the Actor Model theory of computation do you not understand?