Logo
Unionpedia
Kommunikation
Jetzt bei Google Play
Neu! Laden Sie Unionpedia auf Ihrem Android™-Gerät herunter!
Herunterladen
Schneller Zugriff als Browser!
 

Henk Barendregt

Index Henk Barendregt

Hendrik Pieter „Henk“ Barendregt (* 1947 in Amsterdam) ist ein niederländischer mathematischer Logiker.

16 Beziehungen: Academia Europaea, Amsterdam, Carnegie Mellon University, Dirk van Dalen, ETH Zürich, Georg Kreisel, Königlich Niederländische Akademie der Wissenschaften, Lambda-Kalkül, Nicolaas Govert de Bruijn, Postdoc, Radboud-Universität Nijmegen, Spinoza-Preis, Stanford University, Universität Utrecht, ZbMATH, 1947.

Academia Europaea

Die Academia Europaea ist eine europäische regierungsunabhängige wissenschaftliche Gesellschaft, die im Jahr 1988 gegründet wurde.

Neu!!: Henk Barendregt und Academia Europaea · Mehr sehen »

Amsterdam

Amsterdam ist die Hauptstadt und bevölkerungsreichste Stadt des Königreichs der Niederlande und belegt den 17. Rang der größten Städte der Europäischen Union.

Neu!!: Henk Barendregt und Amsterdam · Mehr sehen »

Carnegie Mellon University

Hamerschlag Hall Wean Hall University Center Die Carnegie Mellon University (CMU) ist eine private Forschungsuniversität in Pittsburgh, Pennsylvania, USA.

Neu!!: Henk Barendregt und Carnegie Mellon University · Mehr sehen »

Dirk van Dalen

Dirk van Dalen, Oberwolfach 2008 Dirk van Dalen (* 20. Dezember 1932 in Amsterdam) ist ein niederländischer Mathematiker (mathematische Logik), Wissenschafts-Philosoph und Mathematikhistoriker.

Neu!!: Henk Barendregt und Dirk van Dalen · Mehr sehen »

ETH Zürich

Hauptgebäude im Abendlicht mit der charakteristischen Kuppel von Gustav Gull Hauptgebäude der ETH Zürich, von der Polyterrasse aus gesehen und der Façade von Gottfried Semper Jüdischen Museums der Schweiz in Basel zeigt u. a. Albert Einstein beim 75. Jubiläum der ETH Ansicht des damaligen ETH- und Universitätsgebäudes um 1880, errichtet 1858–1864 durch Gottfried Semper, vor dem Beginn der Umbauten durch Gustav Gull 1915–1924 Die Eidgenössische Technische Hochschule Zürich, kurz ETH Zürich (EPFZ,, PF di Zurigo,, SPFT), ist eine technisch-naturwissenschaftliche universitäre Hochschule in Zürich.

Neu!!: Henk Barendregt und ETH Zürich · Mehr sehen »

Georg Kreisel

Georg Kreisel (* 15. September 1923 in Graz; † 1. März 2015 in Salzburg) war ein britisch-US-amerikanischer Logiker und Mathematiker.

Neu!!: Henk Barendregt und Georg Kreisel · Mehr sehen »

Königlich Niederländische Akademie der Wissenschaften

Sitz der KNAW im Trippenhuis, Amsterdam Die Königlich Niederländische Akademie der Wissenschaften (ndl.: Koninklijke Nederlandse Akademie van Wetenschappen (KNAW); engl.: Royal Netherlands Academy of Arts and Sciences) ist eine nichtstaatliche Akademie der Wissenschaften in den Niederlanden.

Neu!!: Henk Barendregt und Königlich Niederländische Akademie der Wissenschaften · Mehr sehen »

Lambda-Kalkül

griechischen Alphabets, benutzt. Der Lambda-Kalkül ist eine formale Sprache zur Untersuchung von Funktionen.

Neu!!: Henk Barendregt und Lambda-Kalkül · Mehr sehen »

Nicolaas Govert de Bruijn

Prof. dr. N. G. de Bruyn, 1947De Bruijn in den 1960er Jahren Nicolaas Govert de Bruijn (* 9. Juli 1918 in Den Haag; † 17. Februar 2012 in Nuenen) war ein niederländischer Mathematiker, der sich vor allem mit Analysis, Zahlentheorie, Kombinatorik und Informatik (diskreter Mathematik) beschäftigte.

Neu!!: Henk Barendregt und Nicolaas Govert de Bruijn · Mehr sehen »

Postdoc

Postdoc (selten auch Post-Doc oder im Deutschen auch Postdoktorand) ist ein Wissenschaftler, der nach Beendigung einer Promotion den Doktorgrad erlangt hat und nun an einer Universität oder einem Forschungsinstitut befristet tätig ist.

Neu!!: Henk Barendregt und Postdoc · Mehr sehen »

Radboud-Universität Nijmegen

Die Radboud-Universität Nijmegen (kurz RU) ist eine forschungsorientierte Universität in den Niederlanden.

Neu!!: Henk Barendregt und Radboud-Universität Nijmegen · Mehr sehen »

Spinoza-Preis

Gewinner des Spinoza-Preises 2006, von links: Jan Zaanen, Ben Scheres, Jozien Bensing, Carl Figdor, ganz rechts der Direktor des NWO Peter Nijkamp Der Spinoza-Preis (Spinozapremie), nach Baruch de Spinoza benannt, ist die höchste wissenschaftliche Auszeichnung der Niederlande.

Neu!!: Henk Barendregt und Spinoza-Preis · Mehr sehen »

Stanford University

Haupteingang der ''Stanford University'' Memorial Church'' Bogengang Die Leland Stanford Junior University (kurz Stanford University oder Stanford, Spitzname „Die Farm“) ist eine private US-amerikanische Universität in Stanford, Kalifornien.

Neu!!: Henk Barendregt und Stanford University · Mehr sehen »

Universität Utrecht

Die Universität Utrecht (niederländisch: Universiteit Utrecht – UU, vormals Rijksuniversiteit Utrecht – RUU) ist die größte Universität in den Niederlanden mit Sitz in Utrecht.

Neu!!: Henk Barendregt und Universität Utrecht · Mehr sehen »

ZbMATH

mini zbMATH, früher Zentralblatt für Mathematik und ihre Grenzgebiete oder Zentralblatt MATH, ist ein Referateorgan auf dem Gebiet der Mathematik.

Neu!!: Henk Barendregt und ZbMATH · Mehr sehen »

1947

1947 werden die ideologischen Unterschiede zwischen dem entstehenden Ostblock und der westlichen Welt deutlicher.

Neu!!: Henk Barendregt und 1947 · Mehr sehen »

AusgehendeEingehende
Hallo! Wir sind auf Facebook! »