Er is een fout opgetreden, probeer het later nog eens.

De NPO Start-app

Download

Profiel

17 mrt 2011 15:12

VPRO • 35 min

Profiel - Wiskunde, het is mooi, het scherpt je denken, en je kunt het ook nog toepassen, je hebt een puzzel en je zoekt iets dat het passend maakt.

Henk Barendregt (1947) is hoogleraar aan de Radboud Universiteit in Nijmegen en opereert op het grensvlak van de wiskunde, de informatica en de logica. Hij wordt wereldwijd als expert op het gebied van de mathematische logica beschouwd en als de meest gezaghebbende onderzoeker op het gebied van de Lambda Calculus, een computertaal die gebruikt wordt voor het verifiëren van hardware en software, Its Syntax and Semantics (1984). De chip in onze mobiele telefoons is er bijvoorbeeld mee gecontroleerd. Hij was de eerste die alles over de lambda-calculus heeft samengevat, geclassificeerd en helder verwoord in een onderzoeksmonografie. Deze publicatie staat onder vakgenoten bekend als ‘het oude testament’. Het vervolg, ‘het nieuwe testament’, bevat onder meer de Barendregtkubus en een classificatie van typesystemen.