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:
* Clock frequency is no longer increasing exponentially.
* Instead, the number of cores is increasing exponentially.
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.
"Actor Model for Discretionary Adaptive Concurrency" ArXiv. 1008.1459
"Incompleteness Theorems: The Logical Necessity of Inconsistency" Google Knol