Figura contemporánea importante de la filosofía de las matemáticas en la cual defiende una versión del "estructuralismo".