Dirk van Dalen (born 20 December 1932,

Amsterdam Amsterdam ( , ; ; ) is the capital of the Netherlands, capital and Municipalities of the Netherlands, largest city of the Kingdom of the Netherlands. It has a population of 933,680 in June 2024 within the city proper, 1,457,018 in the City Re ...

) is a Dutch

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...

and

historian A historian is a person who studies and writes about the past and is regarded as an authority on it. Historians are concerned with the continuous, methodical narrative and research of past events as relating to the human species; as well as the ...

of science.

Life

Van Dalen studied mathematics and physics and astronomy at the

University of Amsterdam The University of Amsterdam (abbreviated as UvA, ) is a public university, public research university located in Amsterdam, Netherlands. Established in 1632 by municipal authorities, it is the fourth-oldest academic institution in the Netherlan ...

. Inspired by the work of Brouwer and

Heyting __NOTOC__ Arend Heyting (; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician. Biography Heyting was a student of Luitzen Egbertus Jan Brouwer at the University of Amsterdam, and did much to put intuitionistic logic on a f ...

, he received his Ph.D. in 1963 from the University of Amsterdam for the thesis ''Extension problems in intuitionistic plane Projective geometry''. From 1964 to 1966 Van Dalen taught

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...

and mathematics at

MIT The Massachusetts Institute of Technology (MIT) is a private research university in Cambridge, Massachusetts, United States. Established in 1861, MIT has played a significant role in the development of many areas of modern technology and sc ...

, and later

Oxford Oxford () is a City status in the United Kingdom, cathedral city and non-metropolitan district in Oxfordshire, England, of which it is the county town. The city is home to the University of Oxford, the List of oldest universities in continuou ...

. From 1967 he was professor at the

University of Utrecht Utrecht University (UU; , formerly ''Rijksuniversiteit Utrecht'') is a public research university in Utrecht, Netherlands. Established , it is one of the oldest universities in the Netherlands. In 2023, it had an enrollment of 39,769 students, a ...

. In 2003 Dirk van Dalen was awarded the Academy Medal 2003 of the

Royal Dutch Academy of Sciences The Royal Netherlands Academy of Arts and Sciences (, KNAW) is an organization dedicated to the advancement of science and literature in the Netherlands. The academy is housed in the Trippenhuis in Amsterdam. In addition to various advisory a ...

for bringing the works of Brouwer to international attention.

Works

As (co-)author

* * * * * * * * * # # * * * * * # # * * *

As (co-)editor

* * *

References

External links