prof. dr. H.P. Barendregt (Henk)

Prof. Henk Barendregt geldt wereldwijd als expert op het gebied van de mathematische logica. Zijn specialiteit is de lambda-calculus, een formele taal om wiskundige functies, algoritmes en redeneringen weer te geven. 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. Barendregt denkt, discussieert en schrijft in diverse media over kunst, muziek, religie en filosofie. Samen met collega's werkt hij aan modellen voor aspecten van het menselijk brein, met name over de werking van vipassana (inzichtsmeditatie) in het dagelijkse leven en in de psychotherapie (mindfulness). Barendregt is lid van de Academia Europaea, de Koninklijke Hollandsche Maatschappij der Wetenschappen en de KNAW. Hij ontving in 2002 de Spinozapremie.