Prof Henk BarendregtProf Henk Barendregt

Chair Foundations of Mathematics and Computer Science
Radboud University, Nijmegen

Nijmegen, Netherlands


Professor of Foundations of Mathematics and Computer Science at Radboud University, Nijmegen The Netherlands. PhD in mathematical logic (1971) on topics in lambda calculus, a formal theory describing algorithms, proofs and self-reflection. The theory is being applied to computing, formalizing mathematical proofs and even models of evolution.
Sees peace in three ways as the essence of religion: with oneself, with others and with the universe. This peace may be a result of genes and upbringing and can be further cultivated through insight (vipassana) meditation or methods from other religions.
Hopes to contribute to the understanding of the human mind through neuro-phenomenology.

Honoraria Titles

Major Prizes