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

[Martin Davis]

wtait at ix.netcom.com 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.

Martin