Wikisage, de vrije encyclopedie van de tweede generatie, is digitaal erfgoed

Wikisage is op 1 na de grootste internet-encyclopedie in het Nederlands. Iedereen kan de hier verzamelde kennis gratis gebruiken, zonder storende advertenties. De Koninklijke Bibliotheek van Nederland heeft Wikisage in 2018 aangemerkt als digitaal erfgoed.

  • Wilt u meehelpen om Wikisage te laten groeien? Maak dan een account aan. U bent van harte welkom. Zie: Portaal:Gebruikers.
  • Bent u blij met Wikisage, of wilt u juist meer? Dan stellen we een bescheiden donatie om de kosten te bestrijden zeer op prijs. Zie: Portaal:Donaties.
rel=nofollow

Dirk van Dalen

Uit Wikisage
Naar navigatie springen Naar zoeken springen
De printervriendelijke versie wordt niet langer ondersteund en kan weergavefouten bevatten. Werk uw browserbladwijzers bij en gebruik de gewone afdrukfunctie van de browser.

Dirk van Dalen (Amsterdam, 20 december 1932) is een Nederlandse wiskundige en wetenschapshistoricus. Hij was hoogleraar geschiedenis van de logica en filosofie van de wiskunde.

Van Dalen studeerde wiskunde en natuur- en sterrenkunde aan de Universiteit van Amsterdam. Geïnspireerd door het werk van L.E.J. Brouwer en Arend Heyting promoveerde hij in 1963 aan de Universiteit van Amsterdam met het proefschrift Extension problems in intuitionistic plane projective geometry.

Van 1964 tot 1966 doceerde Van Dalen logica en wiskunde aan het Massachusetts Institute of Technology, en later ook de universiteit van Oxford. Vanaf 1967 was hij hoogleraar aan de Universiteit van Utrecht. Een leerling van Dirk van Dalen is Jan Bergstra. In 2003 ontving Dirk van Dalen de Akademiepenning 2003 van de Koninklijke Nederlandse Akademie van Wetenschappen voor z'n inspanningen om het denken van L.E.J. Brouwer internationaal onder de aandacht te brengen.

Werken

De belangrijkste werken van Dirk van Dalen zijn[1]:

  • 1958. Foundations of Set Theory. Met Yehoshua Bar-Hillel en Azriel Levy. Amsterdam : North Holland.
  • 1963. Extension problems in intuitionistic plane projective geometry.
  • 1981. Brouwer's Cambridge Lectures on Intuitionism. (red.). Cambridge University Press.
  • 1988. Constructivism in Mathematics: An Introduction. Met A.S. Troelstra. Amsterdam : North-Holland Publishing.
  • 2000. "Zermelo and the Skolem Paradox". Met Heinz-Dieter Ebbinghaus. In: The Bulletin of Symbolic Logic, Volume 6, Nr 2, juni 2000.
  • 2001. Intuitionistic Logic, in: The Blackwell Guide to Philosophical Logic, Lou Goble (redactie), Blackwell New York.

Over Dirk van Dalen:

  • Henk Barendregt (red.) ea. (1993). Dirk van Dalen Festschrift. University of Utrecht, Department of Philosophy.
  • Yuri Gurevich (red.) (1995). Special issue: a tribute to Dirk van Dalen. Amsterdam : North-Holland.

Externe links

Bronvermelding

Bronnen, noten en/of referenties:

rel=nofollow
rel=nofollow