交互计算的具象化
计算机科学中的逻辑
2007-05-23 v1
摘要
计算逻辑的目标在于允许我们对计算进行建模以及对其进行推理。我们认为，计算逻辑必须能够建模交互式计算。我们指出，由于交互的不完备性，首次逻辑无法对交互式计算进行建模。我们指出，由于世界（环境）在决定计算进程中所扮演的角色，交互式计算必然具备具象化特性，能够同时建模事实及其否定。我们得出结论，具象化是能够对交互式计算进行建模的逻辑的必要属性。
引用
@article{arxiv.cs/0207074,
title = {Paraconsistency of Interactive Computation},
author = {Dina Goldin and Peter Wegner},
journal= {arXiv preprint arXiv:cs/0207074},
year = {2007}
}
备注
10 pages, no figures. Originally published in proc. PCL 2002, a FLoC workshop; eds. Hendrik Decker, Dina Goldin, Jorgen Villadsen, Toshiharu Waragai (http://floc02.diku.dk/PCL/)