Hoogleraar in de Logica en de Wijsbegeerte en Grondslagen van de Wiskunde.

* Amsterdam 20.12.1932. Gehuwd met Theodora Mekenkamp.

Opleiding: Hervormd Lyceum Amsterdam (1950); Wis- en Natuurkunde UvA (1958).

Loopbaan: Leraar Hervormd lyceum (1954); Christelijk Lyceum Heemstede (1957); Hervormd Lyceum (1959); wetenschappelijk medewerker mathematisch instituut RUU (1960); instructor Massachusetts 1nstitute of Technology (1964-1966); lector RUU (1967); visiting professor Oxford (1974-1975); hoogleraar RUU (1980).

Functies: vice-president European Association Computer Science Logic; directeur Utrechts Onderzoeksinstituut voor Filosofie. Lid Nederlands Wiskunde Genootschap; Provinciaal Utrechts Genootschap; Association Symbolic Logic; Deutsche Verein Mathematische Logik.

Publicaties: 'Wijsgerige Grondslagen van de Wiskunde' (1978);' Verzamelingen' (1978); 'Sets and Integration' (1972); bezorging van werk en correspondentie L.E.J. Brouwer (1984); 'Droeve snaar; vriend van mij' (1984); 'Constructivisme in Mathernatics' (1988); 'Logic and Structure' (1980). Datum info: 03.01.1994.