- Het is in theorie mogelijk om geautomatiseerde bewijzen te leveren over
systemen met een onbeperkt aantal procesinstanties.
- Een objectgeorienteerd procesmodel hoeft geen causaliteit tussen events
uit te drukken om praktisch bruikbaar te zijn.
- Het gebruik van output-parameters in procesalgebra's maakt het praktisch
om een proces-alfabet te gebruiken dat over de tijd kan varieren.
- De controverse tussen garbage collection en expliciet verwijderen van objecten
kan vervallen voor objecten waarvan de processen bekend zijn en
door de runtime omgeving afgedwongen worden.
- Het modelleren van tijd als meerdimensionaal fenomeen maakt het mogelijk
de speciale relativiteitstheorie te vereenvoudigen tot een theorie waarvan
de verschillen met de huidige theorie onmeetbaar klein zijn.
- De ontwikkelwijze van open source software divergeert en convergeert op
dezelfde wijze als een creatief denkproces; de ontwikkelwijze van software
binnen een gemiddeld bedrijf ontmoedigt creativiteit juist door het aanbrengen
van denkbeddingen.
- Een internationaal BTW-stelsel wordt pas dan geschikt voor het Internet,
wanneer het de omzet belast in het land waarin die omzet wordt gedraaid,
om te worden doorberekend aan iedere klant, ongeacht land van herkomst
en ongeacht of het een bedrijf of persoon betreft.
- Oorlog betekent dat iemand met een te groot ego op een te hoge post zit.
- Internationale mensenrechten lijken sterker te gelden voor olieproducerende
landen zoals Koeweit, dan voor een land als Tibet, dat `slechts' een
culturele bijdrage aan de wereld levert.
- De term `gebruiksvriendelijkheid van software' verwijst naar onmiddellijke
bevrediging van behoeften; doelen op langere termijn, zoals uiteindelijke
produktiviteit, worden veel minder gewogen in de selektie van software,
blijkens de software-voorkeur van de gemiddelde gebruiker.
|