Autore

Henk Barendregt

Barendregt ĆØ Professore Emerito di Fondamenti della Matematica e dellā€™Informatica alla Radboud University di Nijmegen (Olanda). I suoi lavori piĆ¹ conosciuti nella logica matematica sono ā€œIl calcolo Lambda, la sua sintassi e semanticaā€ nel 1981 (pubblicato da Elsevier), e ā€œIl calcolo Lambda con Tipiā€, pubblicato nel 2013 (da Cambridge University Press) (tradotti in russo e cinese). Barendregt ha studiato meditazione Zen dal 1972 al 1979 con Kobun Chino Roshi (1938-2002) in California, e meditazione Vipassana dal 1977 al 2006 con Phra Mettavihari (1942-2007) nei Paesi Bassi. Nel 2006 ha ricevuto la qualifica (con 13 altri studenti senior) per lā€™insegnamento della meditazione Vipassana nello stile di Mahasi Sayadaw. Barendregt ha ricevuto finanziamenti importanti per la ricerca dallā€™UniversitĆ  di Nijmegen (1997), il prestigioso Premio Spinoza dalla Fondazione Nazionale Olandese per la Scienza (NWO) nel 2002, dal 2012 ā€˜distinguished Lorentz fellowā€ dellā€™Istituto Olandese di Studi Avanzati (NIAS) e dellā€™UniversitĆ  di Leiden. Tali finanziamenti gli hanno permesso di dirigere un gruppo di ricerca interdisciplinare che ha lavorato alla comprensione scientifica della meditazione di consapevolezza e ai suoi effetti neuropsicologici. Barendregt, Cavaliere dellā€™Ordine del Leone Olandese, ĆØ membro dellā€™Academia Europaea, del Koninklijke Hollandsche Maatschappij der Wetenschappen e dellā€™Accademia Reale Olandese delle Scienze.Ā