FOM: Tait's query re use of "Platonism" in f.o.m.

Martin Davis martind at
Fri Jan 23 14:35:49 EST 1998

wtait at wrote:

>(Incidently, I've never been sure of the origin of its contemporary usage
in >f.o.m. Poincare, Bernays ?) 

I think it's G\"odel. In his 1933 address, he complained of the lack of
justification for the set-theoretic foundations of mathematics and spoke of
it suggesting "a kind of Platoniam that cannot satisfy any critical mind".
Later in his 1951 Gibbs address, he spoke more kindly of Platonism
suggesting "realism" as an alternate term.


More information about the FOM mailing list