4 ms·
To be fair it's not too strange to consider both the natural numbers and the power sets to be to greater or lesser extents abstractions to allow us to reason ab
by contravariant 3y ago
To be fair it's not too strange to consider both the natural numbers and the power sets to be to greater or lesser extents abstractions to allow us to reason about all the things we can logically put in one of them.
After all both of them are mostly full of things we will never need, encounter, or even be able to define.
- bawolff 3y agoI kind of think the core of the question of if math is real, is if abstractions are "real".