Hendrik Pieter (Henk) Barendregt (nacido el 18 de diciembre de 1947 en Ámsterdam ) [1] es un lógico holandés , conocido por su trabajo en cálculo lambda y teoría de tipos .
Vida y obra
Barendregt estudió lógica matemática en la Universidad de Utrecht , obteniendo su maestría en 1968 y su doctorado en 1971, ambos cum laude , bajo la dirección de Dirk van Dalen y Georg Kreisel . Después de un puesto postdoctoral en la Universidad de Stanford , enseñó en la Universidad de Utrecht .
Desde 1986, Barendregt ha enseñado en Radboud University Nijmegen , donde ahora ocupa la Cátedra de Fundamentos de Matemáticas e Informática. Su grupo de investigación trabaja en Matemática Constructiva Interactiva. También es profesor adjunto en Carnegie Mellon University , Pittsburgh, EE. UU. Ha sido profesor invitado en Darmstadt , ETH Zürich , Siena y Kyoto.
Barendregt fue elegido miembro de la Academia Europaea en 1992. [2] En 1997, Barendregt fue elegido miembro de la Real Academia de Artes y Ciencias de los Países Bajos . [3] El 6 de febrero de 2003, Barendregt recibió el premio Spinozapremie de 2002, el premio científico más importante de los Países Bajos. [4] En 2002 fue nombrado caballero en la Orde van de Nederlandse Leeuw .
Barendregt recibió un doctorado honorario de la Universidad Heriot-Watt en 2015. [5]
Publicaciones Seleccionadas
- HP Barendregt (1985). El cálculo Lambda: su sintaxis y semántica . Estudios de Lógica y Fundamentos de las Matemáticas. 103 . Amsterdam: Holanda Septentrional. ISBN 0-444-87508-5.- Ver fe de erratas
- Toyama, Y. y Klop, JW y Barendregt, HP (1989). "Terminación por suma directa de sistemas de reescritura de términos lineales a la izquierda (anteproyecto)". En Nachum Dershowitz (ed.). Técnicas y aplicaciones de reescritura, 3rd Int. Conf., RTA-89 . LNCS . 355 . Saltador. págs. 477–491.Mantenimiento de CS1: utiliza el parámetro de autores ( enlace )
- Barendregt, H. (2001). "Computación y Comprobación (conferencia invitada)". En Middeldorp, A. (ed.). Técnicas de reescritura y aplicaciones, 12th Int. Conf., RTA-01 . LNCS. 2051 . Saltador.
- 2013. Cálculo Lambda con tipos , parte de Perspectivas en lógica . Prensa de la Universidad de Cambridge. ISBN 9780521766142
Referencias
- ^ Erik Barendsen; Herman Geuvers; Venanzio Capretta; Milad Niqui, eds. (2007). Reflexiones sobre la teoría de tipos, el cálculo lambda y la mente: ensayos dedicados a Henk Barendregt con motivo de su 60 cumpleaños . Universidad de Nijmegen. ISBN 978-90-9022446-6.Aquí: Prefacio , p.5
- ^ "Hendrik Barendregt" . Academia Europaea. Archivado desde el original el 28 de marzo de 2019.
- ^ "Henk Barendregt" . Real Academia de las Artes y las Ciencias de los Países Bajos. Archivado desde el original el 21 de mayo de 2020.
- ^ "Premio NWO Spinoza 2002" . Organización de los Países Bajos para la Investigación Científica. 5 de septiembre de 2014 . Consultado el 30 de enero de 2016 .
- ^ "Graduaciones del campus de Edimburgo - Noticias | Universidad Heriot-Watt de Edimburgo" . www.hw.ac.uk . Consultado el 24 de marzo de 2016 .
enlaces externos
- Página de inicio de Barendregt
- Perfil de autor en la base de datos zbMATH