Re: Mathematical clarification: Impredicativity in Rosennean parlance

[Torkel Franzen <***>]

Judith Rosen says:

>Torkel, ALL mathematical references and ALL scientific references are 
>metaphorical-- that's the nature of the beast.

  So, are "The incompleteness theorem in effect showed that Church's
thesis is false" and "The incompleteness theorem in effect showed that
Church's thesis is true" equally good metaphors? Or "Hilbert apparently
believed that impredicativities are not formalizable" and "Hilbert
apparently believed that impredicativities are formalizable"?
If so, I think I understand your point of view.