Met de computer wiskundige bewijzen controleren De QED utopie In tegenstelling tot wat je misschien zou verwachten gebruiken wiskundigen computers nauwelijks om hun wiskunde mee te doen. Ze gebruiken ze als tekstverwerke

First Page		Document Content
Date: 2004-02-08 13:58:35		Met de computer wiskundige bewijzen controleren De QED utopie In tegenstelling tot wat je misschien zou verwachten gebruiken wiskundigen computers nauwelijks om hun wiskunde mee te doen. Ze gebruiken ze als tekstverwerke Add to Reading List Source URL: www.cs.ru.nl Download Document from Source Website File Size: 53,54 KB Share Document on Facebook