Computerbewijzen in de wiskundige praktijk
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.
Meer lezen