i had a lot of thoughts in response to this correct post https://types.pl/@amy/117203193831178704
as of late i have begun to feel that the imaginary component of so-called "complex" numbers is strikingly similar to irrationality and indeed that the "unique" factorization into prime integers or polynomials with integer coefficients is much closer to a parlor trick than a rigid basis for classification
like the irrationals are only secondarily "irrational" and more simply "antipolynomial" i feel like? i read an attempted motivation for the irrationality of sqrt(2) arising from euclidean-era geometry recently but i didn't really buy it since i don't feel "exactness" or "equality" is really a "natural" concept outside of the cartesian plane, which itself feels remarkably circular in definition?
like if even the prime numbers refuse to decompose their own sequential structure into any kind of rhythmic progression, maybe that's because "solutions among the rationals" is requiring the answer be sufficiently *un*interesting?
learning much more about group theory recently and i totally do accept that the generating graph of modular exponentiations in a finite field is intrinsically meaningful to study even if it's not a "nice" answer for my purposes. but finding that finite fields F_q for primes p < q s.t. q = 2p + 1 are not just a meme way to generate new primes at will (which i didn't know you could do????) but are also optimally resistant to computational factorization attacks on the discrete log problem has me feeling like twin primes just aren't very interesting?
like if generating the next prime is unsolvable but just finding a later prime is both simple and deeply meaningful, maybe that's because a difference of integer +k is not intrinsically meaningful except as a phase offset wiithin a periodic context?
like forget sqrt(-1), the really unnatural "point at infinity" seems to be the integer +1, since that's precisely what's necessary for the infinitude of primes!!!