230
submitted 2 days ago* (last edited 2 days ago) by Melatonin@lemmy.dbzer0.com to c/asklemmy@lemmy.ml

How about ANY FINITE SEQUENCE AT ALL?

you are viewing a single comment's thread
view the rest of the comments
[-] mukt@lemmy.ml 1 points 23 hours ago

assumption โ‰  definition

[-] cosecantphi@hexbear.net 1 points 23 hours ago* (last edited 23 hours ago)

Math kind of relies on assumptions, you really can't get anywhere in math without an assumption at the beginning of your thought process.

[-] mukt@lemmy.ml 1 points 19 hours ago

Obviously. But still maths avoids stuff like "I assume the answer is X. QED."

[-] cosecantphi@hexbear.net 1 points 18 hours ago* (last edited 18 hours ago)

Right and the point of defining this number as a non-repeating infinite sequence of 0s and 1s is just to show that non-repetition of digits alone is not sufficient to say a number contains all finite sequences.

[-] mukt@lemmy.ml 1 points 9 hours ago

That trivial point is not the one we (you and me) are contending.

The issue is that OP hasn't actually defined the sequence, just given some properties (which does not lead to any definition or determination of the location of the number/s on the number line, by itself). Assuming that he has defined it, doesn't change anything as any other commentator can assume something different, which consistent with OP's post.

this post was submitted on 26 Dec 2024
230 points (98.7% liked)

Asklemmy

44183 readers
2460 users here now

A loosely moderated place to ask open-ended questions

Search asklemmy ๐Ÿ”

If your post meets the following criteria, it's welcome here!

  1. Open-ended question
  2. Not offensive: at this point, we do not have the bandwidth to moderate overtly political discussions. Assume best intent and be excellent to each other.
  3. Not regarding using or support for Lemmy: context, see the list of support communities and tools for finding communities below
  4. Not ad nauseam inducing: please make sure it is a question that would be new to most members
  5. An actual topic of discussion

Looking for support?

Looking for a community?

~Icon~ ~by~ ~@Double_A@discuss.tchncs.de~

founded 5 years ago
MODERATORS