 |
| | Gevonden online artikelen: | Bewijzen nalopen met de computer
In tegenstelling tot wat je misschien zou verwachten, gebruiken wiskundigen computers nauwelijks om hun wiskunde mee te doen. Ze gebruiken ze als tekstverwerker (om hun artikelen en boeken mee te schrijven) en ze gebruiken ze voor experimenten (om te kijken hoe speciale gevallen van hun stellingen zich gedragen), maar ze gebruiken ze niet om bewijzen mee te controleren. Wiskundige bewijzen zitten in mensenhoofden of zijn opgeschreven in mensentaal, en tot nog toe zijn ze bijna nooit zo opgeschreven dat er geen menselijk begrip nodig is om ze te kunnen nalopen.
lees artikel
Zie archief: jaargang 43, nummer 3, december 2003
|
(totaal gevonden: 1) |
|
