¿Quiénes son algunos platonistas / realistas matemáticos notables?

Una búsqueda rápida en Google debería ser suficiente para responder esta pregunta. Pero quizás igual de interesante, aunque tangencial a su pregunta, es el viejo adagio, “todos los matemáticos son realistas cuando trabajan en una prueba excepcionalmente difícil”. Hay algunas variaciones de este aforismo, pero la idea básica es la lo mismo para todos: cuando las matemáticas se ponen difíciles, ciertamente parece que es algo que descubrimos, en lugar de inventar, o incluso inferir. Tiendo a suscribirme al formalismo matemático por su énfasis en las relaciones sobre la ontología, pero a nivel práctico, y mi uso de la palabra ‘práctico’ no está exento de ironía humorística, tiendo a ser realista porque las matemáticas son difíciles, y si se trata simplemente de una invención de la mente, parece que las matemáticas deberían ser mucho más fáciles de lo que la experiencia nos enseña.