imported>Koyaanisqatsi01: Leerzeichen vor/nach Bindestrich korrigiert

2021-04-22T19:21:46Z

Leerzeichen vor/nach Bindestrich korrigiert

Neue Seite

[[Datei:Dirk van Dalen.jpg|mini|Dirk van Dalen, Oberwolfach 2008]]
'''Dirk van Dalen''' (* [[20. Dezember]] [[1932]] in [[Amsterdam]]) ist ein niederländischer Mathematiker (mathematische Logik), Wissenschafts-Philosoph und Mathematikhistoriker.

== Leben ==
Van Dalen studierte an der [[Universität Amsterdam]], wo er über die Anwendung der [[Intuitionismus|intuitionistischen Logik]] von [[Luitzen Egbertus Jan Brouwer]] in der Geometrie bei [[Arend Heyting]] 1963 promovierte (Extensions in intuitionistic plane geometry, Indag.Math. Bd. 25). Als Post-Doc war er am [[Massachusetts Institute of Technology]] und der [[Universität Oxford]]. Seit 1960 war er an der [[Universität Utrecht]], zuerst in der mathematischen Fakultät seit 1967 als Professor in der Philosophischen Fakultät. 1997 ging er in den Ruhestand, lehrt aber weiter Geschichte der Logik und Philosophie der Mathematik (2009).

Van Dalen schrieb eine Biographie von Brouwer und leitete das Brouwer-Projekt, wobei er Vorlesungen von Brouwer und 1981 Brouwers ''Über die Grundlagen der Mathematik'' und ''Intuitionismus'' (1992, Bibliographisches Institut) herausgab und mit [[Anne Troelstra]] das ''Centenary Symposium'' zu Brouwers 100. Geburtstag (1982).

2003 erhielt er die Medaille (Akademiepenning) der Königlich Niederländischen Akademie der Wissenschaften. Seit 1998 ist er Ritter vom Orden des Niederländischen Löwen. 2007 wurde er Ehrenmitglied der Niederländischen Mathematischen Gesellschaft ([[Koninklijk Wiskundig Genootschap]]), auf deren Einladung hin er 2008 den Vortrag ''The Revolution of 1907 - Brouwers Dissertation'' auf dem [[Europäischer Mathematikerkongress|Europäischen Mathematikerkongress]] in Amsterdam hielt. 1962 hielt er einen Vortrag auf dem [[Internationaler Mathematikerkongress|Internationalen Mathematikerkongress]] in [[Stockholm]] (''Some problems in intuitionistic affine geometry'').

Zu seinen Doktoranden gehören [[Henk Barendregt]], [[Lou van den Dries]] und [[Jan van Leeuwen (Informatiker)|Jan van Leeuwen]].<ref>{{MathGenealogyProject|id=45022}}</ref>

== Schriften (Auswahl) ==
=== Als Autor ===
* ''Mystic, Geometer and Intuitionist. The life of L. E. J. Brouwer''. Oxford University Press, London
# ''The dawning revolution''. Neuaufl. 2002, ISBN 0-19-850297-4.
# ''Hope and desillusion''. 2005, ISBN 978-0-19-851620-0.
* ''Logic and Structure''. 4. Aufl. Springer, Berlin 2008, ISBN 978-3-540-20879-2.
* ''Foundations of Set Theory'' (Studies in logic and the foundations of mathematics; 67). 2. Aufl. Elsevier, Amsterdam 2001, ISBN 0-7204-2270-1 (zusammen mit [[Abraham Fraenkel]], [[Yehoshua Bar-Hillel]], [[Azriel Levy]]; Nachdr. d. Ausg. Amsterdam 1958).
* ''Filosofische grondslagen van de Wiskunde'' (Terreinverkenningen in de filosofie; 4). Van Gorcum, Assen 1978, ISBN 90-232-1540-0.
* ''Constructivism in Mathematics. An Introduction''. North-Holland Publ., Amsterdam 1988 (zusammen mit Anne Troelstra).
# 1988, ISBN 0-444-70266-0 (Studies in logic and the foundations of mathematics; 121).
# 1988, ISBN 0-444-70358-6 (Studies in logic and the foundations of mathematics; 123).
* ''Sets and Integration. An Outline of the Development''. Wolters-Noordhoff, Groningen 1972, ISBN 90-01-59775-0 (zusammen mit [[Antonie Frans Monna]]).
* ''Sets. Naive, Axiomatic and Applied'' (International series in pure and applied mathematics; 106). Pergamon Press, Oxford 1978, ISBN 0-08-021166-6 (zusammen mit H.C. Doets und Henricus C.M. de Swart).
* ''Intuitionistic Logic''. In: Lou Goble (Hrsg.): ''The Blackwell Guide to Philosophical Logic'' (Blackwell Philosophical Guides; 4). Blackwell, New York 2001, ISBN 0-631-20692-2.
* ''The War of the Frogs and the Mice, or the Crisis of the Mathematische Annalen''. In: ''Mathematical Intelligencer'', Jg. 12 (1990), S. 17–31, {{ISSN|0343-6993}} (zum Streit [[David Hilbert]] gegen Brouwer).
* ''Braucht die konstruktive Mathematik Grundlagen?'' In: ''Jahresbericht der [[Deutsche Mathematiker-Vereinigung|Deutschen Mathematiker-Vereinigung]]'', Bd. 84 (1982), S. 57–78, {{ISSN|0012-0456}}.

=== Als Herausgeber ===
* ''Brouwer's Cambridge Lectures on Intuitionism''. Cambridge University Press, Cambridge 1981, ISBN 0-521-23441-7.
* ''The selected correspondence of L. E. J. Brouwer'' (Sources and studies in the history of mathematics and physical sciences). Springer Verlag, London 2011, ISBN 978-0-85729-527-9.
* [[Hans Freudenthal]]: ''Selecta'' (Heritage of European Mathematics). European Mathematical Society, Zürich 2009, ISBN 978-3-03-719058-6 (zusammen mit [[Tonny Springer]]).

== Weblinks ==
* [http://logic.sysu.edu.cn/logician/ShowArticle.asp?ArticleID=424 Publikationsliste]

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|GND=133205053|LCCN=n/79/105677|VIAF=94643220}}

{{DEFAULTSORT:Dalen, Dirk van}}
[[Kategorie:Logiker]]
[[Kategorie:Mathematikhistoriker]]
[[Kategorie:Mitglied der Königlich Niederländischen Akademie der Wissenschaften]]
[[Kategorie:Philosoph (20. Jahrhundert)]]
[[Kategorie:Träger des Ordens vom Niederländischen Löwen (Ritter)]]
[[Kategorie:Hochschullehrer (Universität Utrecht)]]
[[Kategorie:Niederländer]]
[[Kategorie:Geboren 1932]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Dalen, Dirk van
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=niederländischer Mathematiker
|GEBURTSDATUM=20. Dezember 1932
|GEBURTSORT=[[Amsterdam]]
|STERBEDATUM=
|STERBEORT=
}}

Dirk van Dalen - Versionsgeschichte

imported>Koyaanisqatsi01: Leerzeichen vor/nach Bindestrich korrigiert