rdfs:comment
| - Hendrik Pieter (Henk) Barendregt (* 18. prosince 1947) je nizozemský učitel meditace, vědec a profesor matematické logiky. Je vůdčí osobností výzkumného týmu, který na Radbodově univerzitě v Nijmegenu zkoumá vliv meditace vipassaná na lidskou mysl. Vede meditační zásedy v Nizozemsku, Německu, Itálii a Řecku. Je držitelem Spinozovy ceny z roku 2002, členem Academia Europaea a také rytířem Řádu nizozemského lva. (cs)
- Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam) is a Dutch logician, known for his work in lambda calculus and type theory. (en)
- Hendrik Pieter (Henk) Barendregt, né en 1947 est un mathématicien néerlandais spécialisé dans la logique mathématique. (fr)
- Хенк Барендрегт (Хендрик Питер Барендрегт, нидерл. Hendrik Pieter Barendregt; родился 18 декабря 1947 года) — нидерландский математик и логик, исследователь λ-исчисления и теории типов, автор λ-куба. Профессор, заведующий кафедрой оснований математики и информатики Университета Неймегена. (ru)
- Генк Барендрегт (Гендрік Пітер Барендрегт, нід. Hendrik Pieter Barendregt нар. 18 грудня 1947, Амстердам, Нідерланди) — нідерландський математик і логік, дослідник λ-числення і теорії типів, автор λ-куба. Професор, завідувач кафедри основ математики та інформатики Університету Неймегена. (uk)
- 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. Er befasste sich mit dem Lambda-Kalkül und Typentheorie in der Theorie der Programmiersprachen (Lambda-Kubus) 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. (de)
- Hendrik Pieter (Henk) Barendregt (Amsterdam, 1947) is emeritus hoogleraar aan de Radboud Universiteit Nijmegen met leeropdracht "Grondslagen van de wiskunde en informatica" en voormalig adjunct-hoogleraar aan de Carnegie Mellon University in Pittsburgh Pennsylvania. Hij is een zoon van de psycholoog Johan Barendregt (1924-1982). Henk Barendregt is een vooraanstaand boeddhist en vipassanaleraar. (nl)
|