ديرك فان دالين

ديرك فان دالين (مواليد 20 ديسمبر 1932، أمستردام ) هو عالم رياضيات ومؤرخ علوم هولندي .

حياة

درس فان دالين الرياضيات والفيزياء وعلم الفلك في جامعة أمستردام . متأثرًا بأعمال براور وهيتينغ ، حصل على درجة الدكتوراه عام 1963 من جامعة أمستردام عن أطروحته بعنوان " مسائل التمديد في الهندسة الإسقاطية المستوية الحدسية" . ^[¹^] من عام 1964 إلى عام 1966 ، درّس فان دالين المنطق والرياضيات في معهد ماساتشوستس للتكنولوجيا ، ثم في جامعة أكسفورد . ومنذ عام 1967، شغل منصب أستاذ في جامعة أوتريخت . وفي عام 2003، مُنح ديرك فان دالين ميدالية الأكاديمية لعام 2003 من الأكاديمية الملكية الهولندية للعلوم، تقديرًا لإسهامه في نشر أعمال براور على المستوى الدولي. ^[²^]

فرانكل، أبراهام ؛ بار هليل، يهوشوا ؛ ليفي، عزرييل ؛ — (1973) [1958]. أسس نظرية المجموعات . دراسات في المنطق وأسس الرياضيات. المجلد 67 ( الطبعة الثانية المنقحة). أمستردام: دار نشر نورث هولاند. ISBN 9780080887050.

— ; منى، أنتوني فرانس (1972). المجموعات والتكامل. الخطوط العريضة للتنمية . جرونينجن: ولترز-نوردهوف . دوى : 10.1007 / 978-94-010-2718-2 . رقم ISBN 90-01-59775-0.

— ; دويتس، HC؛ دي سوارت، HCM (1975). Verzamelingen - ساذج، بديهي أون toegepast (باللغة الهولندية). أوتريخت: أوستوك وشلتيما وهولكيما. ص. 364. ردمك 9789031300587.

— ؛ دويتس، إتش سي؛ دي سوارت، إتش سي إم (1978) [1975]. المجموعات: الساذجة، والبديهية، والتطبيقية . دار بيرغامون للنشر . رقم ISBN 0-08-021166-6.

— (1978). الفلسفية الكبرى من ويسكوندي . Terreinverkenningen in de filosofie (باللغة الهولندية). المجلد. 4. أسن: فان جوركوم. رقم ISBN 90-232-1540-0.

— (2013) [1980]. المنطق والبنية . سلسلة النصوص الجامعية ( الطبعة الخامسة). لندن، هايدلبرغ، نيويورك، دوردريخت: سبرينغر . doi : 10.1007/978-1-4471-4558-5 . ISBN 978-1447145578.

— (1982). “Braucht die konstructive Mathematik Grundlagen؟”. Jahresbericht der Deutschen Mathematiker-Vereinigung (باللغة الألمانية). 84 . برلين: جي رايمر: 57– 78. ISSN 0012-0456 .

ترولسترا، آن سيرب ؛ — (1988). البنائية في الرياضيات: مقدمة . أمستردام: دار نشر نورث هولاند .

المجلد الأول . دراسات في المنطق وأسس الرياضيات؛ 121. 15 يوليو 1988. ISBN 0-444-70266-0.
المجلد الثاني . دراسات في المنطق وأسس الرياضيات؛ 123. 1988. ISBN 0-444-70358-6.

— (1990). "«حرب الضفادع والفئران، أو أزمة الحوليات الرياضية». مجلة الرياضيات الذكية . 12 (4). دار نشر سبرينغر : 17-31 . doi : 10.1007/BF03024028 . ISSN 0343-6993 . S2CID 123400249 .

— ؛ إيبينغهاوس، هاينز-ديتر (يونيو 2000). "زيرميلو ومفارقة سكوليم". نشرة المنطق الرمزي . 6 (2): 145-161 . doi : 10.2307/421203 . hdl : 1874/27769 . JSTOR 421203. S2CID 8530810 .

— (2001). "المنطق الحدسي". في: جوبل، لو (محرر). دليل بلاكويل للمنطق الفلسفي . نيويورك: دار بلاكويل للنشر . ص 224-257 . doi : 10.1002/9781405164801.ch11 . ISBN 9780631206934.

— (2002). ليج بروير (1881-1966). سيرة ذاتية. Het Holdere licht der wiskunde (باللغة الهولندية). أمستردام: بيرت باكر. ص. 561. ردمك 9789035124820.

دالين، ديرك (2002) [1999]. الثورة الناشئة . مطبعة كلارندون. ISBN 0-19-850297-4.
دالين، ديرك فان (2005). الأمل والخيبة . مطبعة كلارندون. رقم ISBN 978-0-19-851620-0.

— (2005). LEJ Brouwer en de Grondslagen van de Wiskunde (باللغة الهولندية). أوتريخت: إبسيلون. ص. 209. ردمك 9789050410939.

— (20 يونيو 2011). "نقطة بروير الثابتة من نوع إبسيلون ومبرهنة سبيرنر". علوم الحاسوب النظرية . 412 (28): 3140-3144 . doi : 10.1016/j.tcs.2011.04.002 .

— (2013). إل إي جيه بروير - عالم طوبولوجيا، حدسي، فيلسوف: كيف تتجذر الرياضيات في الحياة . دار نشر سبرينغر . رقم ISBN 9781447146155.

— ، محرر. (1981). محاضرات براور في كامبريدج حول الحدسية . مطبعة جامعة كامبريدج . ISBN 0521234417.

فرويدنتال، هانز (2009). سبرينغر، توني أ .؛ — (محررون). مختارات (تراث الرياضيات الأوروبية) . مصادر ودراسات في تاريخ الرياضيات والعلوم الفيزيائية. زيورخ: الجمعية الرياضية الأوروبية . ISBN 978-3-03-719058-6.

— ، محرر. (2011). مراسلات مختارة لـ ل. إ. ج. بروير . مصادر ودراسات في تاريخ الرياضيات والعلوم الفيزيائية. لندن: سبرينغر فيرلاغ . ISBN 978-0-85729-527-9.

الأماكن القريبة : بيزم، مارك. كلوب، جان ويليم ، محررون. (1993). ديرك فان دالين فيستسكريفت . جامعة أوترخت، قسم الفلسفة. ص. 229. ردمك 9039303355.
جوريفيتش, يوري ; عصام، محرران. (1995). عدد خاص: تحية لديرك فان دالين . أمستردام: شمال هولندا.

كناو (21 مايو 2003). "Berichten aan de pers: Akademiepenning 2003 voor Dirk van Dalen" (باللغة الهولندية). مؤرشفة من الأصلي في 26 ديسمبر 2010 . تم الاسترجاع في 2 ديسمبر 2023 .
"على ديرك فان دالين" . Koninklijke Bibliotheek (KB) (باللغة الهولندية). مؤرشفة من الأصلي في 3 مارس 2016 . تم الاسترجاع في 2 ديسمبر 2023 .
«ديرك فان دالين، أستاذ فخري - المنطق وفلسفة الرياضيات» . مؤرشف من الأصل بتاريخ 28 مارس 2010. تم الاطلاع عليه بتاريخ 2 ديسمبر 2023 .
ديرك فان دالين في مشروع علم الأنساب الرياضي
مقابلة مع ديرك فان دالين عبر LEJ Brouwer (2015) على YouTube