carlehewitt
Joined 8 years ago
Karma
145
Submissions
64
Member since
Aug 2
Recent submissions
Comment · 7 years ago
In his famous 1936 article, Turing correctly noted that proof of the computational undecidabilty of halting problem does not involve the same fixed point as the one used by Gödel.
See the following: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3418003
Comment · 7 years ago
There is a strongly-typed definition of Y here:
Comment · 7 years ago
BTW, the Church/Turing theory of computation is not universal for digital computation as explained in the following article:
Comment · 7 years ago
'Setq' and 'rplacd' also do not provide the power of Actors.
See the following:
Comment · 7 years ago
Schemer (later renamed Scheme) was invented to scheme against Actors reprising Conniver, which was invented to connive against Planner.
See the following for the current state of the art including the latest Actor approach to Eval, which is more modular and concurrent than the Eval in Lisp and Scheme:
https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3418003
The above article explains exactly how Actors are much more powerful than lambdas with mutable environments.
Comment · 7 years ago
There will be zillions of different kinds of Actor in a massive inconsistency robust ontology, each with a different implementation although constructed on a common system.
Comment · 7 years ago
Amdahl's law imposes no performance limitation on a system which does not have a sequential part. Having a sequential part is a bad idea because it is a single point of failure.
Comment · 7 years ago
This is a very good question.
Citadels are larger scale Actors which can be incorporated into other Citadels, where a Citadel is an Actor for a systems of Actors (perhaps including IoT).
See the following:
http://web.stanford.edu/class/ee380/Abstracts/190123.htmlComment · 7 years ago
Every Actor has a region of mutual exclusion.
However, the region of mutual exclusion can have holes so that
* activities can be suspended and later resumed
* other activities can use the region of mutual
exclusion while a message is being processed by
another Actor
Professor Hewitt’s recent research centers on the area of Inconsistency Robustness, i.e., system performance in the face of continual, pervasive inconsistencies (a shift from the previously dominant paradigms of inconsistency denial and inconsistency elimination, i.e., to sweep inconsistencies under the rug). ActorScript and the Actor Model on which it is based can play an important role in the implementation of more inconsistency-robust information systems. Hewitt is an advocate in the emerging campaign against mandatory installation of Internet backdoors in the Internet of Things.