Scriptiebank is een vrij toegankelijke online databank. Deze bevat alle artikels en full text scripties van deelnemende bachelors en masters aan de Vlaamse Scriptieprijs.

Computerbewijzen in de wiskundige praktijk

Koen Vervloesem
Gaan computers wiskundigen vervangen?

'Een wiskundige is een machine om koffie in stellingen om te zetten,' zei de Hongaarse wiskundige Paul Erdös ooit. Zo vanzelfsprekend is het bewijzen van wiskundige vermoedens echter niet. Naast koffie vergt het ook veel bloed, zweet en tranen en soms honderden jaren werk voordat wiskundigen een moeilijk vermoeden kunnen bewijzen. In de twintigste eeuw hebben een aantal computerprogramma's zelfs stellingen bewezen die te moeilijk zijn voor onze beste wiskundigen.