Dirk van Dalen

Dirk van Dalen (born 1932) is a Dutch mathematician and historian of science.

Van Dalen studied mathematics and physics and astronomy at the University of Amsterdam. Inspired by the work of LEJ Brouwer and Arend Heyting, he received his Ph.D. in 1963 from the University of Amsterdam for the thesis Extension problems in intuitionistic plane Projective geometry. From 1964 to 1966 Van Dalen taught logic and mathematics at MIT, and later Oxford. From 1967 he was professor at the University of Utrecht. In 2003 Dirk van Dalen was awarded the Academy Medal 2003 of the Royal Dutch Academy of Sciences for bringing the works of Brouwer to international attention.

Works

• Foundations of Set Theory, in samenwerking met Yehoshua Bar-Hillel en Azriel Levy, uitgeverij North Holland Amsterdam, 1958.
• Extension problems in intuitionistic plane projective geometry, 1963.
• Brouwer's Cambridge Lectures on Intuitionism, Dirk van Dalen (redactie), Cambridge University Press, Cambridge, 1981.
• Troelstra, Anne; van Dalen, Dirk (1988). Constructivism in Mathematics, Vol. 2. Studies in Logic and the Foundations of Mathematics. ISBN 0444703586. 
• Zermelo and the Skolem Paradox, Dirk van Dalen en Heinz-Dieter Ebbinghaus in: The Bulletin of Symbolic Logic, Volume 6, Nr 2, Juni 2000.
• Intuitionistic Logic, in: The Blackwell Guide to Philosophical Logic, Lou Goble (redactie), Blackwell New York, 2001.

References

• The article was originally created as a translation (Google) of the corresponding article in Dutch Wikipedia.

Further readings

• Dirk van Dalen Festschrift, Henk Barendregt en anderen (redactie), University of Utrecht, Department of Philosophy, 1993
• Special issue: a tribute to Dirk van Dalen, Yuri Gurevich (redactie), uitgeverij North-Holland, Amsterdam, 1995.

External links

• Koninklijke bibliotheek over Dirk van Dalen
• Homepage aan de Universiteit van Utrecht
• Persbericht KNAW 2003

Persondata
Name	Dalen, Dirk van
Alternative names
Short description
Date of birth	1932
Place of birth
Date of death
Place of death

This article about a European mathematician is a stub. You can help Wikipedia by expanding it.v · Categories: 1932 births Living people Dutch mathematicians Dutch historians Historians of science Logicians Utrecht University faculty University of Amsterdam alumni Massachusetts Institute of Technology faculty Dutch scientist stubs European mathematician stubs Wikimedia Foundation. 2010. Игры ⚽ Нужно решить контрольную? Dirk van Braeckel Dirk van Erp Look at other dictionaries: 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. Inhaltsverzeichnis …   Deutsch Wikipedia Van Dalen — ist der Familienname folgender Personen: Deobold Van Dalen (1911–1995), amerikanischer Erziehungswissenschaftler Dirk van Dalen (* 1932), niederländischer Mathematiker Jeanine van Dalen (* 1986), niederländische Fußballspielerin …   Deutsch Wikipedia Dirk Sterckx — Dirk Jozef Maria Sterckx (Dutch pronunciation: [ˈstɛrks]), born on 25 September 1946 in Herent, is a Belgian politician and Member of the European Parliament for Flanders with the Vlaamse Liberalen en Democraten, Member of the Bureau of the… …   Wikipedia Daniël van der Stoep — Daniël Teunis van der Stoep (born 12 September 1980, Delft) is a Dutch politician for the Party for Freedom. References This article incorporates information from the equivalent article on the Dutch Wikipedia …   Wikipedia De Bente, Dalen — De Bente De Bente, February 2008 Origin Mill name De Bente Mill location D …   Wikipedia Molen van Makkum — Molen van Makkum, April 2008 Origin Mill location Makkum 40, 9411 TK, Makkum Beilen …   Wikipedia Molen van Schoonoord — Origin Mill name Molen van Schoonoord Mill location Tr …   Wikipedia Molen van Rolde — Rolde Molen, Rolde Woldzigt, August 2008 Origin Mill name Rolde Molen Mill location …   Wikipedia Molen van Vledder — Molen van Vledder, January 2009 Origin Mill name Nooitgedacht Mill location …   Wikipedia L.E.J. Brouwer — Luitzen E. J. Brouwer (* 27. Februar 1881 in Overschie; † 2. Dezember 1966 in Blaricum) war ein niederländischer Mathematiker. Er schuf grundlegende topologische Methoden und Begriffe und bewies bedeutende topologische Sätze. Nach ihm ist der… …   Deutsch Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”