Van Dalen estudió matemáticas, física y astronomía en la Universidad de Ámsterdam . Inspirado por el trabajo de Brouwer y Heyting , recibió su doctorado en 1963 de la Universidad de Ámsterdam por la tesis Problemas de extensión en el plano intuicionista Geometría proyectiva . [1] De 1964 a 1966, Van Dalen enseñó lógica y matemáticas en el MIT y, más tarde, en Oxford . Desde 1967 fue profesor en la Universidad de Utrecht . En 2003, Dirk van Dalen recibió la Medalla de la Academia 2003 de la Real Academia Holandesa de Ciencias por llevar las obras de Brouwer a la atención internacional. [2]
Obras
Como (co)autor
Fraenkel, Abraham ; Bar-Hillel, Yehoshua ; Levy, Azriel ; — (1973) [1958]. Fundamentos de la teoría de conjuntos . Estudios de lógica y fundamentos de las matemáticas. Vol. 67 (2.ª edición revisada). Ámsterdam: North Holland Publishing. ISBN 9780080887050.
— (1963). Problemas de extensión en geometría proyectiva plana intuicionista (Tesis).
—; Monna, Antonie Frans (1972). Conjuntos e Integración. Un resumen del desarrollo . Groninga: Wolters-Noordhoff . doi :10.1007/978-94-010-2718-2. ISBN 90-01-59775-0.
—; Doets, HC; De Swart, HCM (1975). Verzamelingen - naïef, axiomatisch en toegepast (en holandés). Utrecht: Oosthoek, Scheltema y Holkema. pag. 364.ISBN 9789031300587.
—; Doets, HC; De Swart, HCM (1978) [1975]. Conjuntos: ingenuos, axiomáticos y aplicados . Pergamon Press . ISBN 0-08-021166-6.
— (1978). Filosofische grondslagen van de Wiskunde . Terreinverkenningen in de filosofie (en holandés). vol. 4. Assen: Van Gorcum. ISBN 90-232-1540-0.
— (2013) [1980]. Lógica y estructura . Universitext (5.ª ed.). Londres, Heidelberg, Nueva York, Dordrecht: Springer . doi :10.1007/978-1-4471-4558-5. ISBN.978-1447145578.
— (1982). "¿Braucht die konstruktive Mathematik Grundlagen?". Jahresbericht der Deutschen Mathematiker-Vereinigung (en alemán). 84 . Berlín: G. Reimer: 57–78. ISSN 0012-0456.
Volumen 1. Estudios de lógica y fundamentos de las matemáticas; 121. ISBN 0-444-70266-0.
Troelstra, AS; Van Dalen, D. (1988). Volumen 2. Estudios de lógica y fundamentos de las matemáticas; 123. ISBN 0-444-70358-6.
— (1990). "'La guerra de las ranas y los ratones, o la crisis de los Mathematische Annalen". Mathematical Intelligencer . 12 (4). Springer Verlag : 17–31. doi :10.1007/BF03024028. ISSN 0343-6993. S2CID 123400249.
—; Ebbinghaus, Heinz-Dieter (junio de 2000). "Zermelo y la paradoja de Skolem". Boletín de lógica simbólica . 6 (2): 145–161. doi :10.2307/421203. hdl :1874/27769. JSTOR 421203. S2CID 8530810.
— (2001). "Lógica intuicionista". En Goble, Lou (ed.). The Blackwell Guide to Philosophical Logic . Nueva York: Blackwell Publishing . págs. 224–257. doi :10.1002/9781405164801.ch11. ISBN 9780631206934.
— (2002). LEJ Brouwer (1881-1966). Una biografía. Hetheldere licht der wiskunde (en holandés). Ámsterdam: Bert Bakker. pag. 561.ISBN 9789035124820.
—. Místico, geómetra e intuicionista. La vida de LEJ Brouwer . Londres: Oxford University Press .
Dalen, Dirk (2002) [1999]. La revolución que se avecina . Clarendon Press. ISBN 0-19-850297-4.
Dalen, Dirk van (2005). Esperanza y desilusión . Prensa de Clarendon. ISBN 978-0-19-851620-0.
— (2005). LEJ Brouwer en de Grondslagen van de Wiskunde (en holandés). Utrecht: Épsilon. pag. 209.ISBN 9789050410939.
— (2013). LEJ Brouwer - Topólogo, intuicionista, filósofo: Cómo las matemáticas están arraigadas en la vida . Springer Verlag . ISBN 9781447146155.
—, ed. (2011). La correspondencia seleccionada de LEJ Brouwer . Fuentes y estudios en la historia de las matemáticas y las ciencias físicas. Londres: Springer Verlag . ISBN 978-0-85729-527-9.
Referencias
^ Van Dalen 1963.
^ Conocimiento 2003.
Lectura adicional
Barendregt, Henk ; Bezem, Marc; Klop, Jan Willem , eds. (1993). Dirk van Dalen Festschrift . Universidad de Utrecht, Departamento de Filosofía. pag. 229.ISBN 9039303355.
Gurevich, Yuri ; ea, eds. (1995). Número especial: homenaje a Dirk van Dalen . Amsterdam: Holanda Septentrional.
Enlaces externos
SABER (21 de mayo de 2003). "Berichten aan de pers: Akademiepenning 2003 voor Dirk van Dalen" (en holandés). Archivado desde el original el 26 de diciembre de 2010 . Consultado el 2 de diciembre de 2023 .
"Sobre Dirk van Dalen". Koninklijke Bibliotheek (KB) (en holandés). Archivado desde el original el 3 de marzo de 2016 . Consultado el 2 de diciembre de 2023 .
«Dirk van Dalen, profesor emérito de lógica y filosofía de las matemáticas». Archivado desde el original el 28 de marzo de 2010. Consultado el 2 de diciembre de 2023 .
