Dirk van Dalen
Dirk van Dalen (an Haife shi 20 Disamba 1932, Amsterdam) masanin lissafin Dutch ne kuma masanin tarihi na kimiyya.[1]
Van Dalen ya yi karatun lissafi da physics da falaki a jami'ar Amsterdam. Ilham da aikin Brouwer da Heyting, ya sami Ph.D. a cikin 1963 daga Jami'ar Amsterdam don matsalolin haɓakawa a cikin intuitionistic jirgin sama Projective geometry.[1] Daga 1964 zuwa 1966 Van Dalen ya koyar da dabaru da lissafi a MIT, sannan Oxford. Daga 1967 ya zama farfesa a Jami'ar Utrecht. A cikin 2003 Dirk van Dalen an ba shi lambar yabo ta Academy Medal 2003 na Royal Dutch Academy of Sciences don kawo ayyukan Brouwer ga hankalin duniya.[2][2]
Ayyuka gyara A matsayin (co-) marubuci gyara Fraenkel, Ibrahim; Bar-Hillel, Yehoshua; Levy, Azriel; (1973) [1958]. Tushen Ka'idar Saita. Nazarin a Logic da Tushen Lissafi. Vol. 67 (bincike na biyu). Amsterdam: North Holland Publishing. ISBN 9780080887050. (1963). Matsalolin tsawaitawa a cikin intuitionistic jirgin sama projective geometry (Thesis). -; Monna, Antonie Frans (1972). Saita da Haɗuwa. Bayanin Ci Gaban. Groningen: Wolters-Noordhoff. doi:10.1007/978-94-010-2718-2. ISBN 90-01-59775-0. -; Doets, H.C.; De Swart, H.C.M. (1975). Verzamelingen - naïef, axiomatisch en toegepast (a cikin Yaren mutanen Holland). Utrecht: Oosthoek, Scheltema & Holkema. p. 364. ISBN 9789031300587. -; Doets, H.C.; De Swart, H.C.M. (1978) [1975]. Saiti: Naive, Axiomatic da Aiwatar. Jaridar Pergamon. ISBN 0-08-021166-6. (1978). Filosofische grondslagen van de Wiskunde. Terreinverkenningen in de filosofie (a cikin Yaren mutanen Holland). Vol. 4. Assen: Van Gorcum. ISBN 90-232-1540-0. (2013) [1980]. Hankali da Tsarin. Jami'ar (5 ed.). London, Heidelberg, New York, Dordrecht: Springer. doi:10.1007/978-1-4471-4558-5. ISBN 978-1447145578. (1982). "Braucht mutu konstruktive Mathematik Grundlagen?". Jahresbericht der Deutschen Mathematiker-Vereinigung (a cikin Jamusanci). 84. Berlin: G. Reimer: 57–78. Farashin 0012-0456.[3]
A matsayin (co-) edita gyara -, ed. (1981). Laccocin Brouwer na Cambridge akan Intuitionism. Jami'ar Cambridge Press. ISBN 0521234417. Freudenthal, Hans (2009). Springer, Tonny A.; - (ed.). Selecta (Al'adun Lissafi na Turai). Tushen da karatu a cikin tarihin lissafi da kimiyyar jiki. Zürich: Ƙungiyar Lissafi ta Turai. ISBN 978-3-03-719058-6. -, ed. (2011). Wasiƙar da aka zaɓa na L. E. J. Brouwer. Tushen da karatu a cikin tarihin lissafi da kimiyyar jiki. London: Springer Verlag. ISBN 978-0-85729-527-9.[4]
Hanyoyin haɗi na waje gyara KNAW (21 Mayu 2003). "Berichten aan de pers: Akademiepenning 2003 voor Dirk van Dalen" (a cikin Yaren mutanen Holland). An adana daga ainihin ranar 26 Disamba 2010. An dawo da shi 2 Disamba 2023. "Over Dirk van Dalen". Koninklijke Bibliotheek (KB) (a cikin Yaren mutanen Holland). An adana daga asali a ranar 3 ga Maris 2016. An dawo da shi 2 Disamba 2023. "Dirk van Dalen, Farfesa Emeritus - Logic da Falsafa na Lissafi". An adana daga asali a ranar 28 ga Maris 2010. An dawo da shi 2 Disamba 2023. Dirk van Dalen a aikin Genealogy na Lissafi Hira da Dirk van Dalen kan L.E.J. Brouwer (2015) akan YouTube.[5]
Nassoshi gyara