De vrije wil van ons brein - Henk Barendregt over wiskunde en logica (Special, Lowlands U 2013)

De Lambda Calculus: wie kent 'm niet? Henk Barendregt, NWO-Spinozalaureaat en gezaghebbend onderzoeker op het gebied van de wiskundige programmeertaal de Lambda Calculus, opereert op het grensvlak van wiskunde, logica en informatica. De resultaten van zijn onderzoek zijn niet alleen van theoretisch belang voor de informatica, maar ook voor de ontwikkeling van nieuwe software die de betrouwbaarheid van computersystemen verhogen. Tijdens zijn college verklaart Barendregt ook welke exacte formules de werking van onze hersenen beschrijven als het gaat om onze vrije wil.

Henk Barendregt is hoogleraar in de Grondslagen van de Wiskunde en de Informatica.

Hoe is het om als hoogleraar op popfestival Lowlands een college te geven? En wat vinden bezoekers ervan? Christine Mummery, Leo Kouwenhoven en Henk Barendregt staan in 2013 op het podium van Lowlands University. Achter de schermen vertellen zij over deze bijzondere ervaring en over hun onderzoek.

Hoofdpartner van Lowlands University 2013 was NWO. Lowlands University werd ondersteund door de KNAW en de Technische Universiteit Delft.

Meer over de Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO) en Lowlands: http://www.nwo.nl/lowlands