Partial Komori fields and imperative Komori fields
| Authors | |
|---|---|
| Publication date | 2009 |
| Number of pages | 10 |
| Publisher | Ithaca, NY: ArXiv |
| Organisations |
|
| 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.
|
| Document type | Report |
| Published at | http://arxiv.org/abs/0909.5271 |
| Downloads |
319469.pdf
(Submitted manuscript)
|
| Permalink to this page | |
