imported>Tea2min: /* Einleitung */ Barendregt wurde 2015 emeritiert.

2025-02-07T05:39:26Z

Einleitung: Barendregt wurde 2015 emeritiert.

Neue Seite

'''Hendrik Pieter „Henk“ Barendregt''' (* [[1947]] in [[Amsterdam]]) ist ein niederländischer mathematischer Logiker. Er ist emeritierter Professor für Grundlagen der Mathematik und Informatik an der [[Radboud-Universität Nijmegen]].
[[Datei:Henk Barendregt at the Old Jewish Cemetery in Prague.jpg|mini|Henk Barendregt 2012]]
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]]<ref>The Lambda Calculus, Its Syntax and Semantics, Studies in Logic and the Foundations of Mathematics, 103, North-Holland 1984</ref> und Typentheorie in der Theorie der Programmiersprachen (Lambda-Kubus)<ref>Barendregt ''Introduction to General Type Systems'', Journal of Functional Programming, Band 1, 1991, S. 125–154.</ref> 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ändische Akademie der Wissenschaften|Königlich Niederländischen Akademie der Wissenschaften]] (1997) und der [[Academia Europaea]] (1992).<ref>[https://www.ae-info.org/ae/Member/Barendregt_Hendrik Eintrag] auf der Internetseite der Academia Europaea</ref> 2002 wurde er Ritter des Ordens des Niederländischen Löwen.

2002 erhielt er den [[Spinoza-Preis]]. 2012 wurde er [[Lorentz Fellow]].

== Weblinks ==
* [http://www.cs.ru.nl/~henk/ Homepage]
* {{MathGenealogyProject|id=49847}}
* [https://zbmath.org/authors/?q=ai:barendregt.henk Autoren-Profil] in der Datenbank [[Zentralblatt MATH|zbMATH]]

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|GND=124647219|LCCN=n/80/86451|VIAF=109291023}}

{{SORTIERUNG:Barendregt, Henk}}
[[Kategorie:Mathematischer Logiker (20. Jahrhundert)]]
[[Kategorie:Informatiker]]
[[Kategorie:Hochschullehrer (Radboud-Universität Nijmegen)]]
[[Kategorie:Spinoza-Preisträger]]
[[Kategorie:Mitglied der Königlich Niederländischen Akademie der Wissenschaften]]
[[Kategorie:Mitglied der Academia Europaea]]
[[Kategorie:Niederländer]]
[[Kategorie:Geboren 1947]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Barendregt, Henk
|ALTERNATIVNAMEN=Barendregt, Hendrik Pieter
|KURZBESCHREIBUNG=niederländischer mathematischer Logiker
|GEBURTSDATUM=1947
|GEBURTSORT=[[Amsterdam]]
|STERBEDATUM=
|STERBEORT=
}}

Henk Barendregt - Versionsgeschichte

imported>Tea2min: /* Einleitung */ Barendregt wurde 2015 emeritiert.