Rekenen in een Conservatieve Schrapwet Weide
| Authors | |
|---|---|
| Publication date | 27-02-2014 |
| Series | TCS Electronic Report series, 1405 |
| Number of pages | 18 |
| Publisher | Amsterdam: University of Amsterdam, Theory of Computer Science |
| Organisations |
|
| Abstract |
Een weide is zowel een generalisatie als een expansie van een lichaam. Als generalisatie is de weide bekend als von Neumann reguliere ring, voor de expansie met inverse heeft de wiskunde geen naam. Van het daarvoor gebruikte Engelse "meadow" maak ik hier "weide". In een weide bestaat de expressie 1/0 en is de vraag naar de betekenis ervan onontkoombaar. In een conservatieve weide geldt 1/0 = 0, en in een gewone weide geldt 1/0 = a, een nieuwe waarde van het type getal.
Rekenen in een weide heeft als bijzondere eigenschap in vergelijking met rekenen in een lichaam dat er een duidelijke notie van expressies is waarbij de status van inverse of deling volstrekt vergelijkbaar is met de status van optellen (som) en vermenigvuldigen (product). Het rekenen in een weide kan worden gezien als werken met een beperkt en overzichtelijk aantal herschrijfregels. |
| Document type | Report |
| Language | Dutch |
| Published at | https://ivi.fnwi.uva.nl/tcs/pub/tcsreports/TCS1405.pdf |
| Downloads |
TCS1405
(Final published version)
|
| Permalink to this page | |
