部分小森域与命令式小森域
环与代数
2009-10-13 v1 计算机科学中的逻辑
摘要
本文关注1/0的状态以及处理它的方法。这些问题在小森域（也称为非平凡消去牧场）的背景下处理。在数学和理论计算机科学中，关于1/0的状态存在不同观点。我们给出了数学家如何处理1/0的一个简单说明，其中数学家的惯用约定起着突出作用，并且我们论证了从流行的计算机科学观点（即1/0是未定义的）出发，通过某种部分函数逻辑来获得令人信服的解释是不可行的。
引用
@article{arxiv.0909.5271,
title = {Partial Komori fields and imperative Komori fields},
author = {J. A. Bergstra and C. A. Middelburg},
journal= {arXiv preprint arXiv:0909.5271},
year = {2009}
}
备注
10 pages