Henk Barendregt
Hendrik Pieter „Henk“ Barendregt (* 1947 in Amsterdam) ist ein niederländischer mathematischer Logiker. Er ist Professor für Grundlagen der Mathematik und Informatik an der Radboud-Universität Nijmegen.
Barendregt studierte an der Universität Utrecht bei Dirk van Dalen und Georg Kreisel und wurde 1971 cum laude promoviert. Er war als Post-Doktorand an der Stanford University und danach an der Universität Utrecht. Er war Gastwissenschaftler an der Technischen Hochschule Darmstadt, der ETH Zürich, in Siena, Kyoto und Adjunct Professor an der Carnegie Mellon University. Seit 1986 ist er Professor in Nijmegen.
Er befasste sich mit dem Lambda-Kalkül[1] und Typentheorie in der Theorie der Programmiersprachen (Lambda-Kubus)[2] und befasst sich mit automatisierten Beweisen, basierend auf dem Automath (Automated verification of mathematics) Projekt von Nicolaas Govert de Bruijn. Außerdem befasst er sich philosophisch (etwa dem Buddhismus) und interdisziplinär mit dem Problem des Bewusstseins.
Barendregt ist Mitglied der Königlich Niederländischen Akademie der Wissenschaften (1997) und der Academia Europaea (1992).[3] 2002 wurde er Ritter des Ordens des Niederländischen Löwen.
2002 erhielt er den Spinoza-Preis. 2012 wurde er Lorentz Fellow.
Weblinks
[Bearbeiten | Quelltext bearbeiten]- Homepage
- Henk Barendregt im Mathematics Genealogy Project (englisch)
- Autoren-Profil in der Datenbank zbMATH
Einzelnachweise
[Bearbeiten | Quelltext bearbeiten]- ↑ The Lambda Calculus, Its Syntax and Semantics, Studies in Logic and the Foundations of Mathematics, 103, North-Holland 1984
- ↑ Barendregt Introduction to General Type Systems, Journal of Functional Programming, Band 1, 1991, S. 125–154.
- ↑ Eintrag auf der Internetseite der Academia Europaea
| Personendaten | |
|---|---|
| NAME | Barendregt, Henk |
| ALTERNATIVNAMEN | Barendregt, Hendrik Pieter |
| KURZBESCHREIBUNG | niederländischer mathematischer Logiker |
| GEBURTSDATUM | 1947 |
| GEBURTSORT | Amsterdam |