Viewing profile — carlehewitt

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

There is a strongly-typed definition of Y here: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3418003

BTW, the Church/Turing theory of computation is not universal for digital computation as explained in the following article: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=341…

'Setq' and 'rplacd' also do not provide the power of Actors. See the following: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3418003

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 t…

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.

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.

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…

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 …

In a wide-ranging discussion, there were some fundamental disagreements among the panelists as follows: I disagreed with Tony Hoare about using synchronous communication as the pri…

The Actor Model is a formalization of what needs to be done for IoT and many-core computers. The ideas were circulating widely before work began on Erlang even if the engineers did…

Erlang lacks holes in the region of mutual exclusion of an Actor making it very difficult to things like a readers/writer scheduler for a database. See the following: http://web.st…

Actually, the Actor Model generalizes Concurrent ML because message and types are Actors. For example, if anAccount:Account then the following anAccount.deposit[$5] is defined as f…

Massive Inconsistency Robust Ontologies will have trillions of Actors on a many-core computer. Please see the YouTube video here: http://web.stanford.edu/class/ee380/Abstracts/1901…

In a wide ranging discussion, there were some fundamental disagreements among the panelists as follows: I disagreed with Tony Hoare about using synchronous communication as the pri…

Professor Hewitt has a blog with more info here: https://professorhewitt.blogspot.com/

Also related: https://www.youtube.com/watch?v=7erJ1DV_Tlo