How about ANY FINITE SEQUENCE AT ALL?

  • ped_xing [he/him]@hexbear.net
    link
    fedilink
    English
    arrow-up
    7
    arrow-down
    1
    ·
    1 day ago

    The conclusion does not follow from the premises, as evidenced by my counterexample. It could be the case that every finite string of digits appears in the decimal expansion of pi, but if that’s the case, a proof would have to involve more properties than an infinite non-repeating decimal expansion. I would like to see your proof that every finite string of digits appears in the decimal expansion of pi.

    • BrainInABox
      link
      fedilink
      English
      arrow-up
      3
      arrow-down
      5
      ·
      1 day ago

      Well that’s just being pointlessly pedantic, obviously they fucking know that a repeating number of all zeros and ones doesn’t have a two in it. This is pure reddit pedantry you’re doing

      • spireghost@lemmy.zip
        link
        fedilink
        English
        arrow-up
        1
        ·
        2 hours ago

        It kind of does come across as pedantic – the real question is just that “Does pi contain all sequences”

        But because of the way that it is phrased, in mathematics you do a lot of problems/phrasing proofs where you would be expected to follow along exactly in this pedantic manner