Dirk van Dalen - Dirk van Dalen
Dirk van Dalen (20 Aralık 1932, Amsterdam doğumlu ) Hollandalı bir matematikçi ve bilim tarihçisidir .
Van Dalen , Amsterdam Üniversitesi'nde matematik, fizik ve astronomi okudu . Brouwer ve Heyting'in çalışmalarından esinlenerek doktora derecesini aldı. sezgisel düzlem Projektif geometride uzatma problemleri tezi için Amsterdam Üniversitesi'nden 1963'te . 1964'ten 1966'ya kadar Van Dalen, MIT'de ve daha sonra Oxford'da mantık ve matematik dersleri verdi . 1967'den itibaren Utrecht Üniversitesi'nde profesördü . 2003 yılında Dirk van Dalen, Brouwer'ın çalışmalarını uluslararası düzeyde dikkatleri üzerine çekmesi nedeniyle Hollanda Kraliyet Bilimler Akademisi'nin 2003 Akademi Madalyası ile ödüllendirildi.
İşler
- 1958: ( Yehoshua Bar-Hillel ve Azriel Levy ile ) Set Teorisinin Temelleri , North Holland Publishing
- 1963: Sezgisel düzlem projektif geometrisinde genişleme sorunları
- 1978: (HC Doets ve H. De Swart ile) Setler: Naive, Axiomatic and Applied , Pergamon Press ISBN 0-08-021166-6
- 1980: Mantık ve Yapı , Springer Universitext ISBN 3-540-20879-8
- 1981: (editör) Brouwer's Cambridge Lectures on Intuitionism Cambridge University Press ISBN 0521234417
- 1988: Troelstra, Anne ; van Dalen, Dirk. Matematikte Yapılandırmacılık, Cilt. 2 . Mantık Çalışmaları ve Matematiğin Temelleri. ISBN 0-444-70358-6 . CS1 Maint: önerilmeyen parametre ( bağlantı )
- 2000: ( Heinz-Dieter Ebbinghaus ile ) "Zermelo and the Skolem Paradox", Bulletin of Symbolic Logic 6 (2)
- 2001: "Intuitionistic Logic", içinde: The Blackwell Guide to Philosophical Logic , Lou Goble (editör), Blackwell
- 2013: LEJ Brouwer - Topolog, Sezgi Uzmanı , Filozof: Matematiğin yaşamda kökeni nasıldır , Springer-Verlag ISBN 9781447146155
Referanslar
- Makale ilk olarak Hollandaca Wikipedia'daki ilgili makalenin çevirisi (Google) olarak oluşturuldu .
daha fazla okuma
- Dirk van Dalen Festschrift , Henk Barendregt en anderen (redactie), Utrecht Üniversitesi, Felsefe Bölümü, 1993
- Özel sayı: Dirk van Dalen'e bir övgü , Yuri Gurevich (redactie), uitgeverij North-Holland, Amsterdam, 1995.
Dış bağlantılar
- Dirk van Dalen üzerinden Koninklijke bibliotheek
- Anasayfa aan de Universiteit van Utrecht
- Dirk van Dalen at Matematik Şecere Projesi