  We look at consciousness through the lens of Theoretical Computer Science, a
branch of mathematics that studies computation under resource limitations. From
this perspective, we develop a formal machine model for consciousness. The
model is inspired by Alan Turing's simple yet powerful model of computation and
Bernard Baars' theater model of consciousness. Though extremely simple, the
model aligns at a high level with many of the major scientific theories of
human and animal consciousness, supporting our claim that machine consciousness
is inevitable.
