Rekenen in een Conservatieve Schrapwet Weide

Open Access
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
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
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
Back