Barendregt, Henk

Henk Barendregt ( Hendrik Pieter Barendregt , Niderl.  Hendrik Pieter Barendregt ; nacido el 18 de diciembre de 1947 ) es un matemático y lógico holandés , investigador de cálculo λ y teoría de tipos , autor del cubo λ . Profesor, Jefe del Departamento de Fundamentos de Matemáticas e Informática de la Universidad de Nijmegen .

Biografía

Nacido en 1947 en Ámsterdam . En 1952-1965 estudió en instituciones educativas utilizando el sistema Montessori . En 1967 se graduó de la Universidad de Utrecht con una licenciatura en lógica matemática y una maestría. En 1971, bajo la dirección de Dirk van Dalen ( holandés.  Dirk van Dalen ) y Georg Kreisel ( alemán:  Georg Kreisel ), defendió su tesis doctoral ( Ph.D. ) sobre modelos extensionales de λ-cálculo y lógica combinatoria .

Después de defender su tesis, trabajó como investigador en la Universidad de Stanford en 1971-1972 . De 1972 a 1986 ocupó cátedras en la Universidad de Utrecht . Desde 1986 - Profesor de la Universidad de Nijmegen , Jefe del Departamento de Fundamentos de Matemáticas e Informática. En varias ocasiones, trabajó en puestos invitados en la Universidad Tecnológica de Darmstadt , ETH Zurich , la Universidad Carnegie Mellon , la Universidad de Kyoto, la Universidad de Siena .

Es aficionado al budismo ya la meditación , publica artículos sobre meditación en revistas de psicología y divulgación científica [2] .

Trabajo científico y editorial

Los resultados de principios de la década de 1970 son sobre formas normales en cálculo λ y realizabilidad en lógica combinatoria . Los trabajos de la segunda mitad de la década de 1970 están dedicados a cuestiones de modelos del cálculo λ. Obtuvo fama en 1981 tras la publicación de la monografía “Lambda Calculus. Su sintaxis y semántica”, que se reimprimió dos veces y se tradujo al ruso y al chino y se destacó como un trabajo fundamental sobre el cálculo λ no tipificado [3] .

En la década de 1980, estudió cuestiones de prueba automática y la relación de la prueba matemática con el cálculo λ y la teoría de tipos (posteriormente conceptualizada como isomorfismo de Curry-Howard ). En 1986, tras trasladarse a la Universidad de Nijmegen, organizó un grupo que se ocupaba de la formalización de las matemáticas, continuando ideológicamente el trabajo que se llevaba a cabo en el marco del proyecto Automath Nicholas de Bruyne . En la segunda mitad de la década de 1980, estudió versiones mecanografiadas del cálculo λ, con especial atención a las relaciones entre ellas; En 1991, propuso el cubo λ  , una interpretación gráfica de ocho tipos diferentes de cálculo λ tipado, que ganó popularidad tanto entre los lógicos como entre los especialistas en los fundamentos de la informática y los lenguajes de programación .

Miembro de los consejos editoriales de las revistas Information and Computation , Journal of Functional Programming , Journal of Logic and Computation , Logical Methods in Computer Science .

Premios y comunidades

Miembro de la Academia Europea (1992). Académico de la Real Academia de Ciencias de los Países Bajos (1997).

En 2002 fue galardonado con la Orden del León de los Países Bajos (Caballero de la Orden). En el mismo año recibió el Premio Spinoza , un importante galardón de la Organización para la Investigación Científica  del gobierno holandés ( en holandés.  Nederlandse Organisatie voor Wetenschappelijk Onderzoek ).

Bibliografía

• Henk Barendregt. El Cálculo Lambda. Su sintaxis y  semántica . - Ámsterdam: Holanda Septentrional, 1981. - 622 p. — (Estudios de Lógica y Fundamentos de las Matemáticas, vol. 103). - ISBN 0-444-87508-5 .  - monografía fundamental sobre cálculo λ, reimpresa dos veces (1984, 2012), traducida al chino (1990) y al ruso (1985): Barendregt, Henk. Cálculo lambda. Su sintaxis y semántica . — M .: Mir , 1985. — 606 p. - 4800 copias. (Ruso)
• Henk Barendregt, Wil Dekkers, Richard Statman. Cálculo lambda con tipos  . - Cambridge : Cambridge University Press , 2010. - 703 p. - (Perspectivas en Lógica). — ISBN 9780521766142 .  - una presentación completa de las variantes del cálculo λ tipado , varias extensiones y aplicaciones, concebida como una continuación del libro “Lambda Calculus. Su sintaxis y semántica". Reeditado en 2013.

Principales publicaciones

• Henk Barendregt. Lógica combinatoria y el axioma de elección  (inglés)  // Indagationes Mathematicae. - 1973. - vol. 3 , núm. 76 . - pág. 203-221 .
• Henk Barendregt. Una representación global de las funciones recursivas en el cálculo λ  (inglés)  // Theoretical Computer Science . - 1976. - No. 3.2 . - pág. 225-242 .
• Barendregt H. Cálculo λ sin tipo // Libro de referencia sobre lógica matemática. / Editado por J. Barwise. — M. : Nauka, 1983. — T. 4: Teoría de las Pruebas. - S. 278-318.
• Henk Barendregt, Adrian Rezus. Semántica para Automath clásico y sistemas relacionados  (Inglés)  // Información y Control . - 1983. - vol. 59 . - pág. 127-147 .
• Henk Barendregt. Cálculos lambda con tipos  (inglés)  // S. Abramsky, Dov M. Gabbay y TSE Maibaum (editores) Handbook of Logic in Computer Science. -Oxford: Oxford University Press , 1992. -Vol. 2: Antecedentes: estructuras computacionales . — pág. 117–309 . — ISBN 0-19-853761-1 .  — la publicación en la que se introdujo por primera vez el cubo λ.

Notas

1. ↑ http://www.cs.ru.nl/barendregt60/essays/preliminary/prelims.pdf
2. ↑ Henk Barendregt. Curriculum vitae  (inglés) (25 de septiembre de 2011). Consultado el 9 de marzo de 2014. Archivado desde el original el 9 de marzo de 2014.
3. ↑ Benjamín Pierce. Tipos en lenguajes de programación / Per. del inglés: G. Bronnikov, A. Ott. - Dobrosvet , 2011. - S. 76. - 656 p. — ISBN 978-5-7913-0082-9 .

Enlaces

• cs.ru.nl/~henk/ - sitio web oficial de la Facultad de Fundamentos de Matemáticas e Informática de la Universidad de Nijmegen - página de Henk Barendregt

sitios temáticos	genealogía matemática ORCIDO zbMATH Abierto
En catálogos bibliográficos BNF : 12482070f TIERRA : 124647219 GTAA : 214816 ISNI : 0000 0001 0932 8983 J9U : 987007522461705171 LCCN : n80086451 NKC : ntk2013782542 NTA : 071630848 NUKAT : n98036420 SUDOC : 034022821 VIAF : 109291023 WorldCat VIAF : 109291023