Harrie de Swart
Henricus Cornelius Maria (Harrie) de Swart (5 september 1944) is een Nederlands wiskundige en oud-hoogleraar in de filosofie van de wiskunde aan de Universiteit van Tilburg, aan de Radboud Universiteit in Nijmegen en de Erasmus Universiteit in Rotterdam. Met Evert Willem Beth en Dirk van Dalen geldt hij in Nederland als een van de autoriteiten in het grondslagenonderzoek.[bron?]
| Harrie de Swart | ||||
|---|---|---|---|---|
| Persoonlijke gegevens | ||||
| Geboortedatum | 5 september 1944 | |||
| Nationaliteit |  Nederland
| |||
| Wetenschappelijk werk | ||||
| Vakgebied | Filosofie en logica | |||
| Publicaties | Intuitionistic logic in intuitionistic metamathematics 1976 | |||
| Promotor | Johan de Iongh | |||
| Alma mater | Radboud Universiteit | |||
| ||||
Levensloop bewerken
De Swart studeerde wiskunde en natuurkunde aan de Katholieke Universiteit Nijmegen van 1962 tot 1966. In 1976 promoveerde hij hier onder Johan de Iongh op een proefschrift over institutionele logica.[1]
Na z'n afstuderen was De Swart zijn academische loopbaan begonnen aan de Universiteit van Nijmegen op de afdeling Wiskunde faculteit en later op de afdeling filosofie. Na z'n promotie was hij een jaar onderzoeker aan de Princeton Universiteit op de afdeling Geschiedenis van de Wetenschapsfilosofie. Terug in Nederland werd hij hoogleraar aan de Universiteit van Tilburg, en gaf hij verder les aan de Universiteiten van Nijmegen en Rotterdam.[1]
Op z'n vakgebied grondslagen van de wiskunde, logica, taalanalyse en sociale keuze theorie begeleidde hij een 20-tal promovendi.[1][2]
Bibliografie bewerken
- D. van Dalen, H.C. Doets en H.C.M. de Swart: Verzamelingen: naïef, axiomatisch, toegepast, Oosthoek, Scheltema & Holkema, Utrecht 1975
- H.C.M. de Swart: Intuitionistic logic in intuitionistic metamathematics, proefschrift, 1976, Nijmegen, geen ISBN
- H.C.M. de Swart, H.G. Hubbeling: Inleiding tot de symbolische logica, 1976, Assen: Van Gorcum, ISBN 90-232-1421-8
- H.C.M. de Swart: Filosofie van de wiskunde, 1989, Leiden: Nijhoff, ISBN 90-6890-273-3
- A.J.A. Storcken en H.C.M. de Swart: Verkiezingen, agenda's en manipulatie: een inleiding tot de sociale keuzetheorie, 1992, Utrecht, Epsilon Uitgaven, ISBN 90-5041-029-4
- H.C.M. de Swart: Elementaire wiskunde, 1997, Zutphen, Thieme, ISBN 90-03-68200-3
Externe link bewerken
Bronnen, noten en/of referenties
|