Dirk van Dalen (born 20 December 1932,

Amsterdam Amsterdam ( , , , lit. ''The Dam on the River Amstel'') is the Capital of the Netherlands, capital and Municipalities of the Netherlands, most populous city of the Netherlands, with The Hague being the seat of government. It has a population ...

) 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 race; as well as the st ...

of science. Van Dalen studied mathematics and physics and astronomy at the

University of Amsterdam The University of Amsterdam (abbreviated as UvA, nl, Universiteit van Amsterdam) is a public research university located in Amsterdam, Netherlands. The UvA is one of two large, publicly funded research universities in the city, the other bein ...

. Inspired by the work of

Brouwer Brouwer (also Brouwers and de Brouwer) is a Dutch and Flemish surname. The word ''brouwer'' means 'beer brewer'. Brouwer * Adriaen Brouwer (1605–1638), Flemish painter * Alexander Brouwer (b. 1989), Dutch beach volleyball player * Andries Bro ...

and Heyting, 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 science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premis ...

and mathematics at MIT, and later

Oxford Oxford () is a city in England. It is the county town and only city of Oxfordshire. In 2020, its population was estimated at 151,584. It is north-west of London, south-east of Birmingham and north-east of Bristol. The city is home to the Un ...

. From 1967 he was professor at the

University of Utrecht Utrecht University (UU; nl, Universiteit Utrecht, formerly ''Rijksuniversiteit Utrecht'') is a public research university in Utrecht, Netherlands. Established , it is one of the oldest universities in the Netherlands. In 2018, it had an enrollm ...

. In 2003 Dirk van Dalen was awarded the Academy Medal 2003 of the Royal Dutch Academy of Sciences for bringing the works of Brouwer to international attention.Persbericht KNAW 2003
/ref>

Works

* 1958: (with Yehoshua Bar-Hillel and Azriel Levy) ''Foundations of Set Theory'', North Holland Publishing * 1963: Extension problems in intuitionistic plane projective geometry * 1978: (with H.C. Doets and H. De Swart) ''Sets: Naive, Axiomatic and Applied'',

Pergamon Press Pergamon Press was an Oxford-based publishing house, founded by Paul Rosbaud and Robert Maxwell, that published scientific and medical books and journals. Originally called Butterworth-Springer, it is now an imprint of Elsevier. History The c ...

* 1980: ''Logic and Structure'', Springer Universitext * 1981: (editor) ''Brouwer's Cambridge Lectures on Intuitionism''

Cambridge University Press Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by Henry VIII of England, King Henry VIII in 1534, it is the oldest university press in the world. It is also the King's Printer. Cambr ...

* 1988: * 2000: (with Heinz-Dieter Ebbinghaus) "Zermelo and the Skolem Paradox",

Bulletin of Symbolic Logic Bulletin or The Bulletin may refer to: Periodicals (newspapers, magazines, journals) * Bulletin (online newspaper), a Swedish online newspaper * ''The Bulletin'' (Australian periodical), an Australian magazine (1880–2008) ** Bulletin Debate, ...

6(2) * 2001: "Intuitionistic Logic", in: ''The Blackwell Guide to Philosophical Logic'', Lou Goble (editor), Blackwell * 2013: ''L.E.J. Brouwer - Topologist, Intuitionist, Philosopher: How mathematics is rooted in life'', Springer-Verlag

References

* The article was originally created as a translation (Google) of the corresponding article in Dutch Wikipedia.

External links

Koninklijke bibliotheek
over Dirk van Dalen
Homepage
at the

* {{DEFAULTSORT:Dalen, Dirk van 1932 births Living people Dutch mathematicians 20th-century Dutch historians Dutch logicians Historians of mathematics Historians of science Intuitionism Massachusetts Institute of Technology School of Science faculty Scientists from Amsterdam University of Amsterdam alumni Utrecht University faculty

Works

References

Further reading

External links