[FOM] impredicative definitions/paper announcement

[Andrej Bauer]

On Sun, Nov 21, 2010 at 9:52 PM, Monroe Eskew <meskew at math.uci.edu> wrote:
> Aside from being one possible response to Russell's paradox, what is
> the motivation for predicativism?

A similar question was discussed a while ago on MathOverflow:

http://mathoverflow.net/questions/26220/impredicativity/

It would be interesting to hear what FOMers have to add to the discussion.

With kind regards,

Andrej