Defining what such game-playing machines mean, computability logic provides a generalization of the Church-Turing thesis to the interactive level.

• 定义了这种游戏扮演机器所意味的东西，可计算性逻辑在交互层面提供了邱奇-图灵论题的一般化。