Ha sido conocido por su influencia en la filosofía analítica, sus trabajos matemáticos y su activismo social.