WisFaq!

Bewijzen

Is een computerbewijs een echt bewijs?

tom
17-6-2004

Antwoord

De 'echte' wiskundige gruwelt ervan, maar zolang hij/zij niks beter heeft, moet het maar aanvaard worden.
Er is bijvoorbeeld een computerbewijs van het zogenaamde 'vierkleurenprobleem', maar er wordt nog altijd gezocht naar een bewijs dat puur op de kracht van de menselijke geest berust.
In elk geval zijn de beroepswiskundigen het niet helemaal eens over de vraag of een computerbewijs nou wel of niet kan. De tijd zal het leren!

MBL
17-6-2004