دیرک ون دالن

دیرک ون دالن (متولد 20 دسامبر 1932 ، آمستردام) یک ریاضیدان و مورخ علوم هلندی است. 

ون دالن در دانشگاه آمستردام در رشته ریاضیات و فیزیک و نجوم تحصیل کرده است . وی با الهام از کار لویتسن براوئر و آرند هیتینگ، دکترای خود را در سال 1963 از دانشگاه آمستردام، برای پایان نامه اش تحت عنوان مسائل تعمیم در نظریه تصویری مسطحه ی شهودی (Extension problems in intuitionistic plane Projective geometry) دریافت کرد. ون دالن از سال 1964 تا 1966 در ام آی تی و بعداً آکسفورد به تدریس منطق و ریاضیات پرداخت . او از سال 1967 استاد دانشگاه اوترخت بوده است. در سال 2003 به دیرک ون دالن به خاطر آوردن آثار بروور در معرض دید بین‌المللی ، به مدال آکادمی 2003 آکادمی علوم سلطنتی هلند اعطا شد.

آثار 
 1958: (با یهوشوا بار هیلل و آزریل لِوی ) مبانی تئوری مجموعه ها، انتشارات هلند شمالی 
 1963: مسائل تعمیم ذر هندسه تصویری مسطحه شهودی 
 1978: (با HC Doets و H. De Swart) مجموعه ها: طبیعی، اصول موضوعی، و کاربردی انتشارات پراگمون  
 1980: منطق و ساختار، کتاب درسی اشپرینگر (Springer Universitext)  
 1981: (ویراستار) سخنرانی های کمبریج برووور در مورد شهودگرایی انشت دانشگاه کمبریج  
 1988:    
 2000: (به همراه هاینز-دیتر اببینگهاوس) "زرملو و پارادوکس اسکولم"، بولتن سمبولیک منطق 6 (2) 
 2001: "منطق شهودی" ، در: راهنمای منطق فلسفی بلکول، لو گوبل (ویراستار) ، بلکول 
 2013: ال. ای. جی براوئر - توپولوژیست ، شهود گرا، فیلسوف: چگونه ریاضیات ریشه در زندگی دارد اشپرینگر-ورلاگ

منابع 

 این مقاله، ترجمه مستقیم معادل آن در ویکی‌پدیای انگلیسی است.

مطالعه بیشتر 
 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.

پیوند به بیرون 
 Koninklijke bibliotheek درباره دیرک ون دالن 
 صفحه اصلی دانشگاه ون اوترخت 
 

استادان دانشگاه اوترخت
استادان مؤسسه فناوری ماساچوست
افراد زنده
تاریخ‌نگاران اهل هلند
تاریخ‌نگاران ریاضی
تاریخ‌نگاران علم
دانشمندان اهل آمستردام
دانش‌آموختگان دانشگاه آمستردام
ریاضی‌دانان اهل هلند
زادگان ۱۹۳۲ (میلادی)
شهودگرایی ریاضی
منطق‌دانان اهل هلند