The limitless hotel problem can only have one conclusion
In 1924, the famous German mathematician Hilbert (1862-1943) [1] proposed the famous "Hilbert Hotel" problem in a speech.
Infinite hotel [2]: Infinite Hotel has limitless rooms. It is stipulated that each room can accommodate only one person. Cantor [1] said: new guests can also be accommodated.
In order to prevent the two factions from arguing {finite and infinite}, I simplified limitless Hotel as any one room in the hotel is occupied, and only one person is allowed. Question: Can we increase the number of new guests?
Prove:
Still the old method, first make a logical definition [3] and define it as an exclusive symbol.
Proof can only be based on defined exclusivity symbols.
Only in this way can disputes and ambiguity be prevented.
{empty room} definition:
{Any one room has people, and only one person is allowed to live} Definition:
{New guests who can stay} Definition:
∌
∌
(QED).
Comment:
Note: limitless hotels have set up the premise that there are no vacant rooms, so there is no need to assume the possibility of empty rooms.
Because being able to accommodate new guests depends on having a "vacant room".
It is a wrong viewpoint to use the concept of infinity to accommodate new guests.
It proves that there is a contradiction in limitless hotels that can increase new customers.
In fact, the limitless Hotel also violates the pigeonhole principle, but Cantor countered that the pigeonhole principle is aimed at the concept of finite, and the limitless Hotel belongs to the concept of infinite. So the second section is to prove that the one-to-one correspondence of limitless concept applications is incomplete.
The one-to-one correspondence between limitless concepts is incomplete
The limitless hotel problem involves the mathematical concept of one-to-one correspondence.
Firstly, define the concepts applied.
Arguments without defined concepts can only lead to arguments between both parties.
Define one-to-one correspondence, but it must also be defined that it cannot be a one-to-one correspondence.
Prove:
First, make a logical definition and define it as an exclusive symbol.
Definition of one-to-one correspondence between A and B:
A cannot achieve one-to-one correspondence definition:
Limitless arrangement of elements (α): {1,2,3,4,5,6….
Limitless positive even element arrangement (β): {2,4,6,8,10,12….
{α,β}⇒ The first method can achieve one-to-one correspondence:
∴ (I) Realized one-to-one correspondence:
{α,β}⇒ It can be proven that the second method cannot achieve one-to-one correspondence:
Prove:
(III) Realized one-to-one correspondence:
{Any number in (III) has completed a one-to-one correspondence, and no more numbers
corresponding to
can be found to complete: one-to-one correspondence
∴ (II) cannot achieve one-to-one correspondence.
The concept of 'infinity'. There will be two opposite conclusions:
One-to-one correspondence, but not one-to-one correspondence.
(QED).
Ludwig Wittgenstein had particular doubts about limitless operations [4].
I have proven through the mathematical theory that Ludwig Wittgenstein was correct in his special suspicion of limitless operations.
Why is the one-to-one correspondence between limitless concepts incomplete?
This is a deep problem: nonnumbers, Numbers, Limited, limitless.
After defining the concept of "nonnumbers, Number, Limited, limitless "in my other manuscript, I will get a complete answer.
Logic will not contradict itself
Russell [5] pursued logical consistency throughout his life, and I used mathematical language to prove that this logic would not contradict itself, turning a philosophical problem into a mathematical form.
Prove:
Definition of logic:
Paradox definition:
Theorem: Logic will not contradict itself.
Assumptions:
(QED).
Mathematical and Physical Meaning: Correct theories do not conflict, and two conflicting theories cannot all be correct.
The definition of truth: a theory that conforms to logic.
∴ A theory that conforms to logic is truth.
Mathematical significance: There is no contradiction and truth that coexist in the mathematical system, So Cantor's infinite theory introducing one-to-one correspondence is incorrect.
Case:
Proves that perpetual motion machines do not exist
It seems like a purely physical theory. This is also a mathematical logic problem.
The concept of perpetual motion machine [6]: Without external force,
outputs
and maintains at least its original
state.
Definition of perpetual motion machine:
Proof:
(This is the definition of contradiction)
(QED).
This proof is the charm of logical definition.
Don't use the laws of physics to repeatedly argue, and directly use mathematical methods to negate perpetual motion machines.
Conclusion
Purpose of mathematics and science: It is necessary to give a definite conclusion.
I quoted the definition of Mathematical logic as the basis to prove the following conclusions:
(1). No matter it is a limitless room or an unlimited room, as long as any room is occupied by one person (and only one person), new guests cannot be accommodated.
(2). This proves that Cantor's concept of limitless access to mathematics is incomplete. It is not related to whether the room is finite or limitless.
(3). Without vacant rooms, new guests cannot be accommodated.
Thinking
What causes the one-to-one correspondence between limitless concepts to be incomplete?
Usually, when people see the application of one-to-one correspondence in the concept of limitless (see I method arrangement), they believe that it is correct, Therefore, they will assume that there will be no conflict. Here, we have overlooked a premise: the concept of limitless must be a number in order to apply the concept of one-to-one correspondence. If the concept of limitless is not a number, applying the concept of one-to-one correspondence will inevitably lead to contradictions.
Because the concept of one-on-one correspondence hides the concept of two numbers being equal and the definition of nonnumbers cannot be Mathematical analysis.
After defining the concepts of "nonnumber, number, finite, limitless" in my other manuscript, I used the definition as a condition to prove that the concept of limitless belongs to nonnumber.
Statement
− The author has no relevant financial or non-financial interests to disclose.
− The author has no conflict of interest related to the content of this article.
− All authors warrant that they have no relationship with any organization or entity or are involved in any subject or material of financial or non-financial interest discussed herein.
− The author has no economic or proprietary interest in any of the materials discussed herein.
− Funding (supported by the author).
− Publication consent (consent)
The author (Xie Ling) submits a manuscript to the Yearbook of Mathematics and Physics.
Thank
Thank you to nature for allowing me to discover logical definition methods and avoid circular definitions.
Thank you to nature for giving me the perseverance to pursue truth {Definition of truth:; Definition of contradiction: (A>A)}.
Thank you to the Mathematics and Physics Yearbook for providing me with a presentation platform.
Thank you to the peer reviewer of the Mathematics and Physics Yearbook for your hard work.
Regarding financial information: There is no sponsoring unit, self-funded publication.