Philosophe, mathématicien, informaticien. - Professeur de philosophie des sciences, Massachusetts institute of technology (1961-1965). - Professeur émérite de philosophie (depuis 1965) de mathématiques modernes et de logique mathématique (depuis 1976) à Harvard university