i love how most open problems in number theory boil down to "factoring large numbers is hard" because to me that speaks against imposing some inherent relevance to number theory. if primes were some sort of universal inevitably, then expressing numbers as prime factors would be easier.
@vriskommunism “ive made a number system that give you prime factorization for free”
“how well does it work?”
“addition is undecidable and its members are not recursively enumerable :/“
i bet its possible to formalize a number system that gives you prime factorization for free, but i would imagine that it struggles with concepts that is easy for our succession defined system to solve, like ordering