交互计算的非矛盾性
摘要：计算逻辑的目标是使我们能够对计算进行建模和推理。我们认为，计算逻辑必须能够对交互式计算进行建模。我们证明了一阶逻辑无法对交互式计算进行建模，因为交互的不完整性。我们还证明了交互式计算必然是可并行的，能够对一个事实及其否定进行建模，这是由于世界（环境）在决定计算进程中的作用。我们得出结论，可并行性是能够对交互式计算进行建模的逻辑所必需的属性。
作者：Dina Goldin (U. of Connecticut), Peter Wegner (Brown U.)
论文ID：cs/0207074
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23