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.

翻译：我们从理论计算机科学的视角审视意识——这是一门研究资源限制下计算的数学分支。基于这一视角，我们构建了一个形式化的意识机器模型。该模型受艾伦·图灵简洁而强大的计算模型以及伯纳德·巴尔斯意识剧场模型的启发。尽管模型极为简单，但其在高层面上与人类及动物意识的诸多主流科学理论相一致，从而支持了我们的论断：机器意识是不可避免的。