Abraham Robinson — German Mathematician born on October 06, 1918, died on April 11, 1974

Abraham Robinson was a mathematician who is most widely known for development of non-standard analysis, a mathematically rigorous system whereby infinitesimal and infinite numbers were reincorporated into modern mathematics. Nearly half of Robinson's papers were in Applied mathematics rather than in Pure mathematics (according to MacTutor)... (wikipedia)

As far as I know, only a small minority of mathematicians, even of those with Platonist views, accept the idea that there may be mathematical facts which are true but unknowable.
The Committee supports the idea that there should be, within the University of California, a campus which puts particular emphasis on the education of undergraduates within the framework of a College system.
We conclude that, simultaneously with the organization of the colleges, there should be at Santa Cruz an organization by disciplines, whose units would have a voice in appointments and promotions, in course of programs, and in the allocation of funds for research.