display all the ideas for this combination of texts
4 ideas
23626 | Transfinite ordinals are needed in proof theory, and for recursive functions and computability [Hossack] |
23621 | Numbers are properties, not sets (because numbers are magnitudes) [Hossack] |
16150 | One is, so numbers exist, so endless numbers exist, and each one must partake of being [Plato] |
23622 | We can only mentally construct potential infinities, but maths needs actual infinities [Hossack] |