Prof Henk Barendregt
Emeritus Foundations of Mathematics and Computer Science
Radboud University, Nijmegen
Nijmegen, Netherlands
Biography
Biographical information is not available at present.
Biography
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
Spinoza Award 2002
Religion, Philosophy & History Interests
Buddhism
Science & Technology Interests
Mathematics
Website
Publications
