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 Science of Consciousness: Panel discussion, first day
Closing the first day of the 2021 ‘The Science of Consciousness’ conference, dr. Bernardo Kastrup, Prof. dr. Heleen Slagter, Dr. Steve Taylor and Prof. dr. Henk Barendregt take questions and debate.
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.
