• Kogasa@programming.dev
    link
    fedilink
    arrow-up
    3
    ·
    4 hours ago

    Gotta add context for readers.

    Of all the numbers to call boring you picked the Grothendieck prime.

    2 is unambiguously prime. The best motivation for the definition of primality I know is the fundamental theorem of arithmetic: every integer greater than 1 can be uniquely decomposed into a product of primes. That’s what primes are, and the uniqueness constraint is why 1 is not prime.