QED per pc
Wiskunde
Het nieuwe bewijzenNWT nr. 2/2008
De dagen van het klassieke wiskundige bewijs, opgeschreven op een paar A4'tjes of een schoolbord, lijken geteld. Nu de wiskundige steeds vaker dreigt te worden verpletterd door zijn eigen bewijzen, moet de computer uitkomst bieden. Maar wie bewijst dat computers gelijk hebben?
