Henk Barendregt
http://dbpedia.org/resource/Henk_Barendregt an entity of type: Thing
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.
rdf:langString
Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam) is a Dutch logician, known for his work in lambda calculus and type theory.
rdf:langString
Hendrik Pieter (Henk) Barendregt, né en 1947 est un mathématicien néerlandais spécialisé dans la logique mathématique.
rdf:langString
Хенк Барендрегт (Хендрик Питер Барендрегт, нидерл. Hendrik Pieter Barendregt; родился 18 декабря 1947 года) — нидерландский математик и логик, исследователь λ-исчисления и теории типов, автор λ-куба. Профессор, заведующий кафедрой оснований математики и информатики Университета Неймегена.
rdf:langString
Генк Барендрегт (Гендрік Пітер Барендрегт, нід. Hendrik Pieter Barendregt нар. 18 грудня 1947, Амстердам, Нідерланди) — нідерландський математик і логік, дослідник λ-числення і теорії типів, автор λ-куба. Професор, завідувач кафедри основ математики та інформатики Університету Неймегена.
rdf:langString
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.
rdf:langString
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.
rdf:langString
rdf:langString
Henk Barendregt
rdf:langString
Henk Barendregt
rdf:langString
Henk Barendregt
rdf:langString
Henk Barendregt
rdf:langString
Henk Barendregt
rdf:langString
Барендрегт, Хенк
rdf:langString
Генк Барендрегт
xsd:integer
1651213
xsd:integer
1123241742
rdf:langString
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.
rdf:langString
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. 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 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. Barendregt ist Mitglied der Königlich Niederländischen Akademie der Wissenschaften (1997) und der Academia Europaea (1992). 2002 wurde er Ritter des Ordens des Niederländischen Löwen. 2002 erhielt er den Spinoza-Preis. 2012 wurde er .
rdf:langString
Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam) is a Dutch logician, known for his work in lambda calculus and type theory.
rdf:langString
Hendrik Pieter (Henk) Barendregt, né en 1947 est un mathématicien néerlandais spécialisé dans la logique mathématique.
rdf:langString
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. Aan de Universiteit Utrecht behaalde Barendregt in 1968 zijn doctoraalexamen (cum laude) in de wiskundige logica. Hij promoveerde (eveneens cum laude) drie jaar later bij Dirk van Dalen en . Na een postdoctoraal aan de Stanford University bekleedde hij functies aan de Universiteit Utrecht en een gasthoogleraarschap in Darmstadt, Zürich, Siena en Kioto. Barendregt is bekend van verhandelingen over lambdacalculus en typetheorie, met name zijn The Lambda Calculus: Its Syntax and Semantics (1984), dat geldt als het standaardwerk op dit gebied. Sinds 1986 is hij hoogleraar aan de Radboud Universiteit in Nijmegen, waar hij zich in teamverband met constructieve interactieve wiskunde bezighoudt. Prof. dr. Henk Barendregt werd in 1997 benoemd tot lid van de Koninklijke Nederlandse Akademie van Wetenschappen. In 2002 werd hij Ridder in de Orde van de Nederlandse Leeuw. Barendregt ontving op 6 februari 2003 de Spinozaprijs 2002, de hoogste prijs voor wetenschappelijk onderzoek in Nederland. In 2012 werd hem de Distinguished Lorentz Fellowship toegekend. Hij is een zoon van de psycholoog Johan Barendregt (1924-1982). Henk Barendregt is een vooraanstaand boeddhist en vipassanaleraar.
rdf:langString
Хенк Барендрегт (Хендрик Питер Барендрегт, нидерл. Hendrik Pieter Barendregt; родился 18 декабря 1947 года) — нидерландский математик и логик, исследователь λ-исчисления и теории типов, автор λ-куба. Профессор, заведующий кафедрой оснований математики и информатики Университета Неймегена.
rdf:langString
Генк Барендрегт (Гендрік Пітер Барендрегт, нід. Hendrik Pieter Barendregt нар. 18 грудня 1947, Амстердам, Нідерланди) — нідерландський математик і логік, дослідник λ-числення і теорії типів, автор λ-куба. Професор, завідувач кафедри основ математики та інформатики Університету Неймегена.
xsd:nonNegativeInteger
5297