Door karma4: Door The FOSS: Leg Edsgar W. Dijkstra s.v.p. geen woorden in de mond die hij nooit onderschreven zou hebben. . citaat EWD829 1982 openingsjaar Eindhoeven https://www.cs.utexas.edu/users/EWD/ewd08xx/EWD829.PDF "Naast de potjes met programmeertalen hebben we de flesjes met nieuwe operating systems: op een regime van driemaal daags een druppel UNIX wordt U het eeuwige leven beloofd. En als dat niet werkt, dan is er nog het onfeilbare poeiertje van de "personal computer". Dat is helemaal heerlijk, want zonder dat U zich iets van al die andere patienten hoeft aan te trekken, kan dit poeiertje gemengd worden helemaal naar Uw persoonlijke behoeften. " Jouw referentie komt uit no249 jaar 1970 Eindhoven : http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD249.PDF Ik zie: "But how is correctness established in a convincing manner? As long as the mulitpier is considered as a black box the only thing we can do is 'testing by sampling', i.e. offering to the multiplier a feasible amount of factor pairs and ...