User:Prof. Carl Hewitt
Appearance
I am interested in Inconsistency Robustness, i.e., the science and engineering of large systems with continual, pervasive inconsistencies (a shift from the previously dominant paradigms of inconsistency denial and inconsistency elimination). Inconsistency Robust Logic, the Actor Model of computation, Logic Programs and Incompleteness theorems are also interests of mine.
My homepage is here.
See also
There is a Wikipedia article about me at Carl Hewitt.