Denkende Machines -- Computers, rekenen, redeneren - CWI

Flaptekst
De vraag ‘Kunnen computers denken?’ is volgens de Nederlandse informaticus Edsger Dijkstra
ongeveer even interessant als ‘Kunnen duikboten zwemmen?’ Op die vraag krijg je dan ook in
dit boek geen antwoord. De vraag wordt pas spannend wanneer je probeert te specificeren hoe
een ‘denkwedstrijd’ tussen een mens en een computer er zou kunnen uitzien. Dit boek vertelt
daar meer over.
Het basisstramien van de taken die een computer uitvoert blijkt zo eenvoudig te zijn dat de
wiskundige en filosoof Alan Turing rond 1930 al een wiskundige formalisering kon geven van de
essentie van mechanische berekenbaarheid. En als je eenmaal begrijpt hoe een Turing machine
(Turings abstracte model van de computer) werkt begrijp je in feite van elke computer hoe hij
werkt.
Over de auteurs
Jan van Eijck is filosoof, computationeel taalkundige en toegepast logicus. Hij werkt op het
Centrum voor Wiskunde en Informatica en doceert aan de universiteiten van Utrecht en Amsterdam.
Jan Jaspars is freelance wiskundige. Hij doceert logica en informatica aan verschillende universiteiten,
en ontwerpt educatieve software voor universitair en middelbaar onderwijs.
Jan Ketting is wiskundige en werkt op Instituut De Leeuw als docent en studiebegeleider van
middelbare scholieren.
Marc Pauly is als informaticus verbonden aan de universiteit van Liverpool. Zijn werk slaat een
brug tussen logica en speltheorie.
Informatie in Context is een reeks die speciaal wordt ontwikkeld voor het voortgezet onderwijs.
De reeks biedt informatie over ontwikkelingen in de beta wetenschap die het gezicht van de
moderne informatiemaatschappij mede bepalen, met aandacht voor de historische context. De
serie is op vele manieren en op vele niveaus te gebruiken.
Website bij dit boek: http://www.science.uva.nl/denkendemachines/