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.

About Abraham Robinson

Abraham Robinsonwas a mathematician who is most widely known for development of nonstandard 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.

More about the author