• hperrin@lemmy.ca
    link
    fedilink
    English
    arrow-up
    1
    ·
    13 days ago

    I mean, yeah. Compared to infinity, the number of particles in the universe is essentially zero.

  • Fargeol@lemmy.world
    link
    fedilink
    English
    arrow-up
    1
    ·
    13 days ago

    Theorem - All numbers are interesting

    Demonstration:

    • 0 is interesting
    • if n is interesting, n+1 is either interesting or not interesting.
      – If n+1 is not interesting, we take interest in it as it it the smallest non-interesting number.
    • Therefore, n+1 is interesting

    By induction, all numbers are interesting

    • CompassRed@discuss.tchncs.de
      link
      fedilink
      English
      arrow-up
      1
      ·
      edit-2
      13 days ago

      My favorite version of this proof:

      Let S be the subset of natural numbers that are not interesting. Suppose by way of contradiction that S is inhabited. Then by the well ordering principle of natural numbers, there is a least such element, s in S. In virtue of being the least non interesting number, s is in fact interesting. Hence s is not in S. Since s is in S and not in S, we have derived a contradiction. Therefore our assumption that S is inhabited must be false. Thus S is empty and there are no non interesting numbers.