How about ANY FINITE SEQUENCE AT ALL?

You are viewing a single thread.
View all comments View context
7 points

Its not stupid. To disprove a claim that states “All X have Y” then you only need ONE example. So, as pick a really obvious example.

permalink
report
parent
reply
1 point
*
Deleted by creator
permalink
report
parent
reply
2 points

it’s not a good example because you’ve only changed the symbolic representation and not the numerical value. the op’s question is identical when you convert to binary. thir is not a counterexample and does not prove anything.

permalink
report
parent
reply
3 points

Please read it all again. They didn’t rely on the conversion. It’s just a convenient way to create a counterexample.

Anyway, here’s a simple equivalent. Let’s consider a number like pi except that wherever pi has a 9, this new number has a 1. This new number is infinite and doesn’t repeat. So it also answers the original question.

permalink
report
parent
reply
2 points

“please consider a number that isnt pi” so not relevant, gotcha. it does not answer the original question, this new number is not normal, sure, but that has no bearing on if pi is normal.

permalink
report
parent
reply
1 point

They didn’t convert anything to anything, and the 1.010010001… number isn’t binary

permalink
report
parent
reply
1 point

then it’s not relevant to the question as it is not pi.

permalink
report
parent
reply
0 points
Deleted by creator
permalink
report
parent
reply
9 points
*

In terms of formal logic, this…

Since Pi is infinite and non-repeating, would that mean any finite sequence of non-repeating digits from 0-9 should appear somewhere in Pi in base 10?

…and this…

Does any possible string of infinite non-repeating digits contain every possible finite sequence of non repeating digits?

are equivalent statements.

The phrase “since X, would that mean Y” is the same as asking “is X a sufficient condition for Y”. Providing ANY example of X WITHOUT Y is a counter-example which proves X is NOT a sufficient condition.

The 1.010010001… example is literally one that is taught in classes to disprove OPs exact hypothesis. This isn’t a discussion where we’re both offering different perspectives and working towards a truth we don’t both see, thus is a discussion where you’re factually wrong and I’m trying to help you learn why lol.

permalink
report
parent
reply
1 point
*

Is the 1.0010101 just another sequence with similar properties? And this sequence with similar properties just behaves differently than pi.

Others mentioned a zoo and a penguin. If you say that a zoo will contain a penguin, and then take one that doesn’t, then obviously it will not contain a penguin. If you take a sequence that only consists of 0 and 1 and it doesn’t contain a 2, then it obviously won’t.

But I find the example confusing to take pi, transform it and then say “yeah, this transformed pi doesn’t have it anymore, so obviously pi doesn’t” If I take all the 2s out of pi, then it will obviously not contain any 2 anymore, but it will also not be really be pi anymore, but just another sequence of infinite length and non repeating.

So, while it is true that the two properties do not necessarily lead to this behavior. The example of transforming pi to something is more confusing than helping.

permalink
report
parent
reply
3 points
*

Since Pi is infinite and non-repeating, would that mean any finite sequence of non-repeating digits from 0-9 should appear somewhere in Pi in base 10?

Does any possible string of infinite non-repeating digits contain every possible finite sequence of non repeating digits?

Let’s abstract this.

S = an arbitrary string of numbers

X = is infinite

Y = is non-repeating

Z = contains every possible sequence of finite digits

Now your statements become:

Since S is X and Y, does that mean that it’s also Z?

Does any S that is X and Y, also Z?"

permalink
report
parent
reply

Asklemmy

!asklemmy@lemmy.ml

Create post

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

Community stats

  • 7.9K

    Monthly active users

  • 3.8K

    Posts

  • 86K

    Comments