Henk Barendregt

Hendrik Pieter "Henk" Barendregt (* 1947 in Amsterdam ) is a Dutch mathematical logician. He is Professor of Fundamentals of Mathematics and Computer Science at Radboud University Nijmegen .

Henk Barendregt 2012

Barendregt studied at the University of Utrecht with Dirk van Dalen and Georg Kreisel and received his doctorate cum laude in 1971 . He was a post-doctoral student at Stanford University and then at Utrecht University. He was visiting scholar at the Technical University of Darmstadt, the ETH Zurich , in Siena, Kyoto and an adjunct professor at Carnegie Mellon University . He has been a professor in Nijmegen since 1986.

He dealt with the lambda calculus and type theory in the theory of programming languages ​​(lambda cube) and deals with automated proofs, based on the Automath (Automated verification of mathematics) project by Nicolaas Govert de Bruijn . In addition, he deals philosophically (e.g. Buddhism) and interdisciplinary with the problem of consciousness.

Barendregt is a member of the Royal Netherlands Academy of Sciences (1997) and the Academia Europaea (1992). In 2002 he became a Knight of the Order of the Dutch Lion.

In 2002 he received the Spinoza Prize . In 2012 he became a Lorentz Fellow .

Web links

• Homepage
• Henk Barendregt in the Mathematics Genealogy Project (English)
• Author profile in the database zbMATH

Individual evidence

1. ^ The Lambda Calculus, Its Syntax and Semantics, Studies in Logic and the Foundations of Mathematics, 103, North-Holland 1984
2. ↑ Barendregt Introduction to General Type Systems , Journal of Functional Programming, Volume 1, 1991, pp. 125–154, pdf  ( page no longer available , search in web archives )  Info: The link was automatically marked as defective. Please check the link according to the instructions and then remove this notice.