Is the Aleph0-1 Conjecture Correct?

  • Thread starter Organic
  • Start date
  • Tags
    Conjecture
In summary, the conversation centers around a conjecture made by Organic that states when an Aleph0 complete list of rational numbers is represented by a base^power representation method, then and only then can we find an irrational diagonal number as an input for Cantor's function. The conversation also discusses the importance of learning the basics before attempting to challenge them and the need for clear and precise definitions when discussing mathematical concepts.
  • #1
Organic
1,224
0
An edited post:

Please can you show a proof that contradicts my conjecture, saying:

"By using base^power representation method we can represent a list of rational numbers (repetitions over scales, for example: 0.123123123...) where the missing rational number is based on the diagonal rational number used as an input for Cantor's function (the function that defines the rational number, which is not in the list), where the result (the rational number, which is not in the list) depends on some arbitrary order of the list and some rule, which is used by Cantor's function.

For example:

0 . 1 7 1 1 3 1 7 1 1 3 1 7 ...
1 . 0 0 0 0 0 0 0 0 0 0 0 0 ...
0 . 4 2 1 3 4 2 1 3 4 2 1 3 ...
0 . 1 0 1 0 1 0 1 0 1 0 1 0 ...
0 . 3 3 3 3 3 3 3 3 3 3 3 3 ...
2 . 0 0 0 0 0 0 0 0 0 0 0 0 ...
0 . 3 5 4 9 5 5 1 3 5 4 9 5 ...
3 . 0 0 0 0 0 0 0 0 0 0 0 0 ...
0 . 6 4 1 6 4 1 6 4 1 6 4 1 ...
0 . 3 0 2 0 3 0 2 0 3 0 2 0 ...
0 . 6 1 3 6 1 3 6 1 3 6 1 3 ...
0 . 2 7 1 0 2 7 1 0 2 7 1 0 ...
...

In this case Cantor's function result is 0.0101010101010101... which is not in the list.


The rule is:

a) Every 0 in the original diagonal number is turned to 1 in Cantor's new number.

b) Every non-zero in the original diagonal number is turned to 0 in Cantor's new number.

We can add 0.0101010101010101... to the list, and then rearrenge the list in such a way that give us another rational number as cantor's function result, which means that our list is still not complete.


my conjecture is:

When we have the Aleph0 complete list of rational numbers, represented by base^power representation method, then and only then we can find only some irrational diagonal number (no repetitions over scales, for example: 0.123005497762...) as an input for Cantor's function."

I call this conjecture "Aleph0-1 conjecture" because i clime that if even 1 rational number is not in the list, we shall find it as the result of Cantor's function, but when the list is the complete list of all rational numbers (an aleph0 list), we can find only some irrational number as Contor function result.

Please try to contradict this conjecture.


Sincerely yours,

Organic
 
Last edited:
Mathematics news on Phys.org
  • #2
As long as you refuse to define your terms:

"repetition over scales"
"aleph0-1"
"represented by base value expansion"
"input for Cantor's function"

it is impossible to answer your question.
 
  • #3
HallsofIvy

Two things i know:

1) I am a bad formalist, and need some help to take my idea and write it in a rigorous way.

2) Your attitude leads to nothing, if you don't want to help.
 
  • #4
It's not a matter of "writing it in a rigorous way".

No one CAN help when you use non-standard terms and don't define them because they can't understand what you are saying!
 
  • #5
To use an analogy, it's like you're asking us how to win the world cup, but you refuse to learn how to kick a soccer ball.


Based on the past three months, it seems the only way you're going to make progress is if you learn the basics, and you don't seem to grasp the importance of learning the basics... like it or not, HallsofIvy's response is very likely just what you need.
 
  • #7
There's a reason I stopped responding to your posts when you started lashing out at people who are telling you that you need to learn the basics; it made me realize that you have no interest in learning them.

For instance, you're still using some of the same nonstandard terminology "repetition over scales" you've been using since day one, and you still haven't made much of an effort to define it. Also you're still trying to prove things about aleph0 - 1.

Until you're interested in learning the basics, any help I try to give you with your ideas and conjectures will be a waste of my time and yours.
 
  • #9
I have said it before, and I will say it again. You cannot think outside of the box if you have no idea where the box is. In this case the box is defined by the basics. You lack of knowledge of the basics invalidates any effort you make to argue against them. First learn the basics then, from a position of understanding, you can attempt to rewrite the rules.


Of course, once you learn the basics you will not feel a need to redo that which works.
 
  • #11
To quote a famous mathematician it "not even wrong"!
It simply makes no sense. You don't seem to recognize the difference between writing mathematics and writing lots of big words.

By the way, contrary to
When you have a new idea that casting a doubt of some basics, than it can't be done by standard formalism, built on these basics
When you are challenging a statement you must challenge it on its own terms or you have done nothing.
 
  • #12
When you are challenging a statement you must challenge it on its own terms or you have done nothing.

And when my idea change the terms, then what shall i do?
 
Last edited:
  • #13
Originally posted by HallsofIvy
To quote a famous mathematician it "not even wrong"!
It simply makes no sense. You don't seem to recognize the difference between writing mathematics and writing lots of big words.
"Not even wrong. Thats pretty good.
And when my idea changes[ed] the terms, then what shall i do?
DEFINE THEM! (echo, echo, echo, echo, echo).

Do you not understand what we are saying when we tell you you need to define the terms you use if you aren't going to use the standard definition?
 
  • #14
OK, I'll write my idea in more detailed way.


An edited post:

Please can you show a proof that contradicts my conjecture, saying:

"By using base^power representation method we can represent a list of rational numbers (repetitions over scales, for example: 0.123123123...) where the missing rational number is based on the diagonal rational number used as an input for Cantor's function (the function that defines the rational number, which is not in the list), where the result (the rational number, which is not in the list) depends on some arbitrary order of the list and some rule, which is used by Cantor's function.

For example:

0 . 1 7 1 1 3 1 7 1 1 3 1 7 ...
1 . 0 0 0 0 0 0 0 0 0 0 0 0 ...
0 . 4 2 1 3 4 2 1 3 4 2 1 3 ...
0 . 1 0 1 0 1 0 1 0 1 0 1 0 ...
0 . 3 3 3 3 3 3 3 3 3 3 3 3 ...
2 . 0 0 0 0 0 0 0 0 0 0 0 0 ...
0 . 3 5 4 9 5 5 1 3 5 4 9 5 ...
3 . 0 0 0 0 0 0 0 0 0 0 0 0 ...
0 . 6 4 1 6 4 1 6 4 1 6 4 1 ...
0 . 3 0 2 0 3 0 2 0 3 0 2 0 ...
0 . 6 1 3 6 1 3 6 1 3 6 1 3 ...
0 . 2 7 1 0 2 7 1 0 2 7 1 0 ...
...

In this case Cantor's function result is 0.0101010101010101... which is not in the list.


The rule is:

a) Every 0 in the original diagonal number is turned to 1 in Cantor's new number.

b) Every non-zero in the original diagonal number is turned to 0 in Cantor's new number.

We can add 0.0101010101010101... to the list, and then rearrenge the list in such a way that give us another rational number as cantor's function result, which means that our list is still not complete.

my conjecture is:

When we have the Aleph0 complete list of rational numbers, represented by base^power representation method, then and only then we can find only some irrational diagonal number (no repetitions over scales, for example: 0.123005497762...) as an input for Cantor's function."

I call this conjecture "Aleph0-1 conjecture" because i clime that if even 1 rational number is not in the list, we shall find it as the result of Cantor's function, but when the list is the complete list of all rational numbers (an aleph0 list), we can find only some irrational number as Contor function result.

Please try to contradict this conjecture.


Sincerely yours,

Organic
 
Last edited:
  • #15
Ok here's a braindead simple contradiction:

Consider the following set of rational numbers:

0.2
0.23
0.232
0.2322
0.23223
0.232232
0.2322322
0.23223222
0.232232223
.
.
.
Clearly this leads to a diagonal of
0.23223222322223222223...

which is definitely irrational.

The list of numbers is obviously incomplete. It doesn't , for example, contain 0.5.
 
  • #16
"By using base^power representation

By "base^power representation" do you mean decimal representation?

E.G.

[itex]0.2[/itex] is the answer to the questions: "What is the decimal representation of one-fifth?", "What is one-fifth written as a decimal?", and "What is the decimal expansion of one-fifth?"

for example: 0.123123123...

This is called a repeating decimal.


... where the missing rational number ...

What "missing rational number"?



Your post becomes difficult to penetrate beyond this point... though I think I understand your conjecture. Tell me, have you spent any effort looking for a counterexample?
 
  • #17
Hi Hurkyl,

By writing base^power representation i mean that 0.2 = 5^-1 where the used digits are limitad by some base number, for example:
'0','1' (number 2)
'0','1','2' (number 3)
...

The missing rational number is some rational number (an output of Cantor's function) which is not in the list.

By writing 'Counterexample' do you mean that if i tried to contradict my conjecture?

Yes i tried, and i need your help to find it.
 
Last edited:
  • #18
Hi NateTG,

You did not understand my argument.

Please read it again.

Thank you.
 

What is the Aleph0 - 1 conjecture?

The Aleph0 - 1 conjecture is a mathematical hypothesis that suggests that there exists a cardinal number between the infinite set of natural numbers (denoted as aleph0) and the next largest infinite set (denoted as aleph1). In other words, it proposes that there is a number that is greater than aleph0 but less than aleph1.

Who proposed the Aleph0 - 1 conjecture?

The conjecture was first proposed by the mathematician Georg Cantor in the late 19th century. Cantor was known for his groundbreaking work on infinity and set theory, and the Aleph0 - 1 conjecture is one of his most famous contributions to mathematics.

What evidence supports the Aleph0 - 1 conjecture?

There is currently no concrete evidence to support the conjecture, as it has not been proven or disproven. However, many mathematicians have studied the concept and have provided possible arguments and theories that could potentially support or refute the conjecture.

Why is the Aleph0 - 1 conjecture important?

The conjecture has significant implications in the field of mathematics, specifically in the study of infinity and cardinal numbers. If proven to be true, it would provide a better understanding of the hierarchy of infinite sets and could potentially lead to new discoveries in other areas of mathematics.

Has the Aleph0 - 1 conjecture been solved?

No, the conjecture remains unsolved and is considered an open problem in mathematics. Many mathematicians continue to study and explore this concept, hoping to one day provide a definitive answer to the Aleph0 - 1 conjecture.

Similar threads

Replies
11
Views
368
  • General Math
Replies
8
Views
1K
Replies
4
Views
825
Replies
5
Views
803
Replies
7
Views
2K
Replies
55
Views
3K
Replies
1
Views
1K
Replies
5
Views
2K
  • General Math
Replies
4
Views
775
  • General Math
Replies
1
Views
1K
Back
Top