De vrije wil van ons brein - Henk Barendregt over wiskunde en logica (Lowlands University 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. Bekijk ook de Special Report van Henk Barendregt op Lowlands University 2013:    • De vrije wil van ons brein - Henk Bar...  .

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