User:Prof. Carl Hewitt

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.