Hacker News Reader

Comment by curuinor | Hacker News Reader

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.

View on HN

Unfortunately, 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/hh5CYE...

You really don't understand computability at all, do you?

Please don't make personal attacks—just post civilly and substantively.

https://news.ycombinator.com/newsguidelines.html

That's not a personal attack, it's an honest question.

SCTB 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?

You can see a flash of that in this article with "Actor systems can perform computations that are impossible by Turing Machines"

The statement is true, Actor systems can handle uncertainty in ways that Turing Machines can not.

Actor 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.

That is wrong, Actor systems have a property called "Unbounded nondeterminism" nondeterministic TM have only bounded nondeterminism.

https://en.wikipedia.org/wiki/Unbounded_nondeterminism

Jean 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.

I'm sorry, but unless you produce a proof of hypercomputation with models that have unbounded determinism, you're a crank.

As explained in the articles referenced, Actor systems have unbounded nondeterminism because of indeterminacy.

No "hypercomputation" is required ;-)

and yet it moves

Reply on news.ycombinator.com