This abstract is revised and updated from the previously published version.
About the talk:
In 1936, Alan Turing published a famous model of computation. However, it is in need of revision in part because Moore's Law for computation now takes the following form:
This talk explains why Turing's model is becoming obsolete (both in theory and practice) and how to program the many cores.
In turn, programming the many cores provides technology for inconsistency robustness: information system performance in the face of continually pervasive inconsistencies---a shift from the previously dominant paradigms of inconsistency denial and inconsistency elimination attempting to sweep them under the rug.
ActorScriptTM extension of C#TM, JavaTM, and Objective CTM : discretionary, adaptive concurrency for privacy-friendly, client-cloud computing” ArXiv 1008.2748
Actor Model for Discretionary Adaptive Concurrency ArXiv. 1008.1459
Incompleteness Theorems: The Logical Necessity of Inconsistency Google Knol
The slides for this prentation can be accessed here.
About the speaker:
Carl Hewitt's doctoral dissertation included a design for Planner,
the first programming language based on procedural plans invoked
using pattern-directed invocation from assertions and goals. Planner
was influential in the development of both logic programming and
object-oriented programming. He is also known for his work on the Actor
model of concurrent computation, which influenced the development of
the Scheme programming language and the
His recent work is published in the electronic journal
ArXiv and can be downloaded at: