• No results found

De manier waarop we software maken is nogal onvolwassen

N/A
N/A
Protected

Academic year: 2021

Share "De manier waarop we software maken is nogal onvolwassen"

Copied!
1
0
0

Bezig met laden.... (Bekijk nu de volledige tekst)

Hele tekst

(1)

Fo u ten in M athematica

De manier waarop we software maken is nogal onvolwassen

Het nieuwsbericht Grote fouten ontdekt in wiskundige software (NRC Handelsblad, 14 novem- ber) meldt dat er softwarefou- ten in Mathematica zitten, een programma dat vooral wordt gebruikt voor wetenschappelij- ke berekeningen.

Technisch is het mogelijk fout- loze wiskundige berekeningen en bewijzen te maken. Dit kan worden bereikt door gebruik te maken van –jawel –c o m p u te r - gestuurde bewijscheckers.

Het mooiste voorbeeld van een foutloos bewijs staat nota bene in het artikel. De vierkleuren-

stelling is in 1976 door Appel en Haken bewezen. In 2005 heeft Gonthier dit bewijs stap voor stap per computer gecheckt.

Waarom zijn er dan toch zoveel problemen met software- gestuurde systemen? Dat ligt vooral aan de nogal onvolwas- sen manier waarop we software maken. Wat technisch kan, hoeft nog niet te worden ge- bruikt. Helaas, en dat is geen nieuws, geldt dat ook voor de makers van Mathematica.

Jan Friso G ro o te

Hoogleraar informatica, Techni- sche Universiteit Eindhoven

Referenties

GERELATEERDE DOCUMENTEN

Heinz, de echtgenoot van de zieke vrouw, loopt stad en land af om geld te lenen om het medicijn te kunnen kopen, maar h i j kan slechts ongeveer de helft bij elkaar schrapen..

Mathematica is een software- pakket voor symbolische algebra, dat veel wordt gebruikt door wetenschap- pers en ingenieurs.. In Notices of the American Mathematical Society

Daarbij wordt juist door de toenemende gedigitaliseerde communicatie tus- sen burger en overheid ‘ieder formulier al snel zijn eigen regel.’ Voor burgers is het vaak een

Ter beschikking zijn onder andere: bevruchte eitjes van waterleliehaantjes uit de twee groepen en voedselplanten voor beide groepen.. 4p 2 † - Stel een werkplan op, waarin je

Eerst moet het management van XCompany succes hebben met de producten die gemaakt zijn met StudioX, namelijk de applicaties Budgetbeheer en Oefenbeheer. Voor StudioX is dan ook

dat indien bijvoorbeeld een programma test.m gebruik maakt van een variabele x (het bevat bijvoor- beeld de lijn ‘x = 2’) en in het command window werd reeds een waarde aan

Indien de Taylorreeks van de functie f convergeert naar f (x) voor x in een omgeving van het punt a, dan zeggen we dat f analytisch is in het

Op het gemor onder de Vrijheidsbonders naar aanleiding van deze aberratie reageerde Elout in het Handelsblad dat zijn krant door geen enkele partij gerekend wenste te worden tot