De LEGO Turing machine

Op 23 juni 2012 vierde de wereld de honderdste geboortedag van de beroemde Britse wiskundige Alan Turing. Ter gelegenheid hiervan stelde het CWI een speciale tentoonstelling samen. Hiervoor bouwden voormalig CWI-onderzoekers van onze Software Analysis and Transformation groep Jeroen van den Bos en Davy Landman een Turing machine met LEGO. Hij werkt echt! Bekijk het filmpje hieronder om hem in actie te zien.

Meer over deze film en hoe hij is gemaakt door Andre Theelen kun je hier vinden. Helaas is de website www.legoturingmachine.org niet meer beschikbaar.

Wat is een Turing machine?

Een Turingmachine is een theoretisch wiskundig rekenmodel dat Alan Turing in 1936 introduceerde. Het is een belangrijk basisconcept in de informatica en biedt een eenvoudige maar krachtige manier om te begrijpen wat wel en niet berekenbaar is.

Turingmachines worden gebruikt om het begrip *berekenbaarheid* te definiëren. In principe kan elk probleem dat met een rekenprocedure is op te lossen, ook door een Turingmachine worden opgelost, mits er genoeg tijd en genoeg tape (geheugenruimte) beschikbaar is.

Over Alan Turing

Afbeelding: National Portrait GalleryLonden

Alan Turing was een baanbrekende wiskundige en informaticus. Hij is vooral bekend door zijn idee van de Turingmachine, dat de basis legde voor moderne computers. Tijdens de Tweede Wereldoorlog speelde Turing een belangrijke rol bij het kraken van de Enigma-code die nazi-Duitsland gebruikte. Dit was cruciaal om de Geallieerden te helpen tijdens de oorlog.

Ondanks zijn grote bijdragen werd Turings leven overschaduwd door vervolging vanwege zijn homoseksualiteit, die in het Verenigd Koninkrijk destijds strafbaar was. In 1952 werd hij veroordeeld wegens “grove onzedelijkheid” en kreeg hij een behandeling opgelegd die neerkwam op chemische castratie. In 1954 overleed Turing op jonge leeftijd, maar zijn nalatenschap werkt nog altijd door in de informatica en kunstmatige intelligentie.