2 ms·
I would question that primes are not mathematical entities. Same for other sets like "not-primes", or the odd numbers. Sets can be nicely approximated with ty
by still_grokking 5y ago
I would question that primes are not mathematical entities.
Same for other sets like "not-primes", or the odd numbers.
Sets can be nicely approximated with types. (Some people say even that types correspond directly to sets).
- karmakaze 5y agoOT: It's funny how primes are given this property of 'primeness' and not-primes are those that don't have the property, when it's actually the opposite. The not-primes have the property of being composite (a product) and the primes are the negative space of numbers excluding composite numbers.
- still_grokking 5y agoI was more pointing in the direction of "sets" in general. Sets as such are mathematical entities. (Isn't there even a category of sets where sets are objects)? But apparently not everybody agree as this got down votes; or someone don't see the parallels between sets and types? Strange.