Henk Barendregt

Henk Barendregt
Henk Barendregt
	Při své návštěvě Prahy v dubnu 2012
Narození	18. prosince 1947 (74 let); Amsterdam
Alma mater	Utrechtská univerzita
Povolání	matematik, informatik a vysokoškolský učitel
Zaměstnavatelé	Radbodova univerzita v Nijmegenu (od 1986); Radbodova univerzita v Nijmegenu
Ocenění	Spinozapremie (2002)
Web	www.cs.ru.nl/~henk/
	multimediální obsah na Commons
	Některá data mohou pocházet z datové položky.

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.

Dílo

1984. The Lambda Calculus, Its Syntax and Semantics, Vol. 103 in Studies in Logic and the Foundations of Mathematics. North-Holland. ISBN 0-444-87508-5. viz Errata^{[nedostupný zdroj]}.

Odkazy

Externí odkazy

Obrázky, zvuky či videa k tématu Henk Barendregt na Wikimedia Commons
Henk Barendregt's homepage

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.