Gratis verzending vanaf €35,-
Unieke producten
Milieuvriendelijk, hoogste kwaliteit
Professioneel advies: 085 - 743 03 12

Prof. dr. Henk Barendregt

Foundations of Mathematics

A short introduction

Henk Barendregt (1947) is emeritus professor of Foundations of Mathematics and Computer Science at Radboud University Nijmegen, The Netherlands. He studied mathematical logic at Utrecht University, obtaining his Masters in 1968 and his Ph.D. in 1971, both cum laude, under Dirk van Dalen and Georg Kreisel. After a Postdoc period at Stanford University he held positions at Utrecht University and was visiting scholar at Darmstadt, Zürich (ETH), Siena and Kyoto, and adjunct professor at Carnegie Mellon University. Barendregt is known for his work in lambda calculus and type theory. Since 1986 he is professor at Radboud University Nijmegen, where he and his group work on Formal Mathematics, a technology based on the idea of automated verification of mathematics program of N. G. de Bruijn.

Publications:

The mathematical logic of consciousness

In the second presentation of the ‘Science of Consciousness’ conference 2021, Prof. dr. Henk Barendregt brings the rigor of mathematical logic to our understanding of consciousness and its various states and manifestations. For good measure, he also discusses Vipassana meditation within this formal context.

Let us build the future of our culture together

Essentia Foundation is a registered non-profit committed to making its content as accessible as possible and without advertisements. Therefore, we depend on contributions from people like you to continue to do our work. There are many ways to contribute.

Essentia Contribute scaled