Door Aad Offerman

Freelancer

Turing-machine: de grenzen van berekenbaarheid

23-06-2012 • 07:00

51

Singlepage-opmaak

Lang leve Turing

2012 is uitgeroepen tot het Turing-jaar. Op 23 juni is het precies honderd jaar geleden dat Alan Turing werd geboren. Deze Britse wiskundige en computerwetenschapper is om drie redenen beroemd. Ten eerste bedacht hij de Turing-test, een beroemd gedachte-experiment in de kunstmatige intelligentie. Daarbij wordt een computer geacht intelligent te zijn als een intelligent mens in een conversatie het onderscheid tussen deze computer en een ander mens niet meer kan maken. Ten tweede was Turing in de Tweede Wereldoorlog uiterst belangrijk bij het kraken van versleutelde berichten van de nazi's. De Duitsers codeerden hun berichten met de Enigma-systemen, een combinatie van typemachine en codeermachine, en Turing legde de basis voor het ontcijferen van deze berichten.

Tot slot is hij de bedenker van het onderwerp van dit artikel: de Turing-machine. Dat is een computermodel dat vooral in de theoretische informatica wordt gebruikt om de kracht van computersystemen en de complexiteit van problemen te bestuderen.

Het Centrum Wiskunde & Informatica organiseert voor de gelegenheid een tentoonstelling. Daar is onder andere een echte Enigma-machine te zien, maar ook een werkend Lego-model van een Turing-machine die door Jeroen van den Bos en Davy Landman, wetenschappers van het CWI, is gebouwd.

Helaas!
De video die je probeert te bekijken is niet langer beschikbaar op Tweakers.net.


Video van een Turing-machine die door Jeroen van den Bos en Davy Landman, wetenschappers van het CWI, is gebouwd. © CWI