Profesor de lógica matemática en el Instituto Tecnológico de Massachusetts, aunque, a lo largo de su vida, impartió cursos en numerosas universidades de otros países, como México, Gran Bretaña, India, etc.