【摘要】可计算性逻辑(ComputabilityLogic)简称CoL,是由Japaridze首先提出的,它将经典逻辑中的真值理论发展成为可计算性的正式理论,是对经典逻辑的发展。在CoL中,我们将可计算性的问题看成是由机器和环境两种角色参加的博弈,问题的可计算性表示存在一个交互图灵机总能在表示这个问题的博弈中取胜；逻辑运算符代表可计算性问题上的运算；逻辑公式的永真性表示是永远可计算的问题。在对博弈 […]