دیرک ون دالن
ریاضیدان هلندی
دیرک ون دالن (متولد 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: ترولسترا, آنه; ون دالن, دیرک. برساختگرایی در ریاضیات، جلد دوم. مطالعات منطق و مبانی ریاضیات. ISBN 0-444-70358-6.
- 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 درباره دیرک ون دالن
- صفحه اصلی دانشگاه ون اوترخت
- دیرک ون دالن در پروژه تبارشناسی ریاضی