Barendregt

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. 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).