Partial Komori fields and imperative Komori fields
Rings and Algebras
2009-10-13 v1 Logic in Computer Science
Abstract
This paper is concerned with the status of 1/0 and ways to deal with it. These matters are treated in the setting of Komori fields, also known as non-trivial cancellation meadows. Different viewpoints on the status of 1/0 exist in mathematics and theoretical computer science. We give a simple account of how mathematicians deal with 1/0 in which a customary convention among mathematicians plays a prominent part, and we make plausible that a convincing account, starting from the popular computer science viewpoint that 1/0 is undefined, by means of some logic of partial functions is not attainable.
Cite
@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}
}
Comments
10 pages