Dirk van Dalen (nacido el 20 de diciembre de 1932 en Ámsterdam ) es un matemático e historiador de la ciencia holandés .
Van Dalen estudió matemáticas y física y astronomía en la Universidad de Amsterdam . Inspirado por el trabajo de Brouwer y Heyting , recibió su Ph.D. en 1963 de la Universidad de Amsterdam para la tesis Problemas de extensión en el plano intuicionista Geometría proyectiva. 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 de Ciencias de Holanda por traer las obras de Brouwer a la atención internacional. [1]
Obras
- 1958: (con Yehoshua Bar-Hillel y Azriel Levy ) Fundamentos de la teoría de conjuntos , North Holland Publishing
- 1963: Problemas de extensión en la geometría proyectiva del plano intuicionista
- 1978: (con HC Doets y H. De Swart) Conjuntos: ingenuo, axiomático y aplicado , Pergamon Press ISBN 0-08-021166-6
- 1980: Lógica y estructura , Springer Universitext ISBN 3-540-20879-8
- 1981: (editor) Conferencias de Cambridge sobre intuicionismo de Brouwer Cambridge University PressISBN 0521234417
- 1988: Troelstra, Anne ; van Dalen, Dirk. Constructivismo en matemáticas, vol. 2 . Estudios de Lógica y Fundamentos de las Matemáticas. ISBN 0-444-70358-6.
- 2000: (con Heinz-Dieter Ebbinghaus ) "Zermelo y la paradoja de Skolem", Boletín de lógica simbólica 6 (2)
- 2001: "Lógica intuicionista", en: The Blackwell Guide to Philosophical Logic , Lou Goble (editor), Blackwell
- 2013: LEJ Brouwer - Topólogo, intuicionista, filósofo: cómo las matemáticas están arraigadas en la vida , Springer-Verlag ISBN 9781447146155
Referencias
- El artículo fue creado originalmente como una traducción (Google) del artículo correspondiente en la Wikipedia holandesa .
Otras lecturas
- Dirk van Dalen Festschrift , Henk Barendregt en anderen (redactie), Universidad de Utrecht, Departamento de Filosofía, 1993
- Número especial: homenaje a Dirk van Dalen , Yuri Gurevich (redactie), uitgeverij North-Holland, Amsterdam, 1995.
enlaces externos
- Koninklijke bibliotheek sobre Dirk van Dalen
- Página de inicio aan de Universiteit van Utrecht
- Dirk van Dalen en el Proyecto de genealogía matemática