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.

翻译：我们通过理论计算机科学的视角审视意识——数学中研究资源受限计算的分支。基于此视角，我们构建了一个形式化的意识机器模型。该模型受艾伦·图灵简洁而强大的计算模型以及伯纳德·巴尔斯意识剧场模型的启发。尽管模型极其简单，但在高层次上与人类及动物意识的主要科学理论相吻合，这支撑了我们的主张：机器意识不可避免。