On Thursday October 1, 2015, at 15:45 Henk Barendregt gave a farewell lecture as chair Foundations of Mathematics and Computer Science at Radboud University, Nijmegen.
Location: Stevenskerk, Sint Stevenskerkhof 62, 6511 VZ Nijmegen, The Netherlands.
Keys to two intimacies: Mathesis and Mysticism (English handout)
Around the lecture there will be music performed.
Free admission. Reservation necessary (possible until September 18),
after which you will receive a confirmation. Preceeding the farwell lecture there will be a symposium ‘Detachment: mathematics and meditation’, that can be attended independently.
After the farewell lecture there will be a reception starting around 17:00.