Henk Barendregt

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

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ändischen Akademie der Wissenschaften (1997) und der Academia Europaea (1992).<ref>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

Einzelnachweise

{{#ifeq: p | p | | {{#if: 124647219n/80/86451109291023 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 124647219n/80/86451109291023 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 124647219 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 124647219 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n/80/86451 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n/80/86451 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 109291023 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 109291023 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Barendregt, Henk | {{#if: Barendregt, Hendrik Pieter | {{#if: niederländischer mathematischer Logiker | {{#if: 1947 | {{#if: Amsterdam | {{#if: | {{#if: |

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

Vorlage:Wikidata-Registrierung