Single Idea 18132

[catalogued under 6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism]

Full Idea

It is with the real numbers that the restrictions imposed by predicativity begin to make a real difference.

Gist of Idea

The predicativity restriction makes a difference with the real numbers

Source

David Bostock (Philosophy of Mathematics [2009], 8.3)

Book Reference

Bostock,David: 'Philosophy of Mathematics: An Introduction' [Wiley-Blackwell 2009], p.244


Related Idea

Idea 18134 Predicativism makes theories of huge cardinals impossible [Bostock]