B Hilbert's paradox of the Grand Hotel - An easier solution?

  • B
  • Thread starter Thread starter Lars Krogh-Stea
  • Start date Start date
  • Tags Tags
    Paradox
  • #51
valenumr said:
Right. So is there any question that any of these cases are problem? Seems fine to me!
Right, no problem. My point was that instead of dealing with new arrivals from a bus with an infinite number of passengers, one at a time, it makes more sense to deal with them in one operation. Namely, moving each current guest in room N to room 2N, which I described in the third bullet point.
 
Mathematics news on Phys.org
  • #52
valenumr said:
Right. So is there any question that any of these cases are problem? Seems fine to me!
Once you strip away the baggage of the Hilbert Hotel, you find that all we are saying is that the following are well-defined 1-1 functions from ##\mathbb N## into ##\mathbb N##:
$$f(n) = n + m \ \ (\text{for some fixed} \ m)$$$$f(n) = 2n$$
And these are fairly basic mathematical constructions.
 
  • Like
Likes valenumr
  • #53
Okay, I'm not disbelieving anything you said. And I really appreciate the time you've spent enlightening me about infinite numbers. Thank you!
I just had an extra question, after seeing the video. You don't have to answer it of course, but i'd be grateful if you did.

They present this scenario as an uncountable infinte:

An infinitely long bus with an infinite amount of passengers. This bus doesn't have numbered seats as in the example where you draw a diagonal line back and forth across the spreadsheet and "pull the string straight". Instead people have an infinitely long name that consists of the letters A and B. It would best if you saw the video.. I can't understand why a list of infinitely long series of A and B is different (not countable) from a list of infinitely long series of 0 and 1 (which is countable). Is it just by definition? Or is it so that a binary number can not be infinitely long, by definition?
 
  • #54
Lars Krogh-Stea said:
I can't understand why a list of infinitely long series of A and B is different (not countable) from a list of infinitely long series of 0 and 1 (which is countable). Is it just by definition? Or is it so that a binary number can not be infinitely long, by definition?
They are the same set, just with different labels. The set of all binary infinite sequences is uncountable. That's what the diagonal argument proves.
 
  • #55
PeroK said:
They are the same set, just with different labels. The set of all binary infinite sequences is uncountable. That's what the diagonal argument proves.
Okay, just so I'm sure I understand (remember, I'm scandinavian, english is not my native language). You can count to infinity in ordinary numbers, like this:
1
2
3
4
5
6
But not in binary numbers, like this (the 00...00 in the start is there because each line should be infinitely long, but this doesn't matter when counting as leading zeros in a binary number doesn't affect the number it represents)
00...00001
00...00010
00...00011
00...00100
00...00101
00...00110

How is this set not countable, when you actually do count, but in binary notation?

If it's more pertinent to start a new thread, I'll do so :)
 
  • #56
Lars Krogh-Stea said:
00...00001
00...00010
00...00011
00...00100
00...00101
00...00110

How is this set not countable, when you actually do count, but in binary notation?

If it's more pertinent to start a new thread, I'll do so :)
First, those strings are all finite, not infinite.

Second, you cannot map all infinite decimals to integers. E.g.

##0.333 \dots## would map to ##333\dots##, which is not an integer - unless the string is finite.

In other words, the decimal representation of each positive integer is a finite string. Whereas, the set of all real numbers between ##0## and ##1## involves infinite strings of digits.
 
  • #57
PeroK said:
First, those strings are all finite, not infinite.
But how can a string of A's and B's be infinite, but a string of 1's and 0's can not, when you literally just replace the A's with 0's and the B's with 1's? If you have an infinite number of strings made of 0's and 1's, one of the strings would be an infinite number of 0's with a 1 at the end. This would code as decimal 1. Another string would be an infinite number of 0's with two 1's at the end, and this would code as decimal 3. The calculation would be; 1*1+1*2+0*4+0*8+0*16...to infinity. No matter how many leading 0's you add, this number would never be anything other than 3.
If it's the "with a 1 at the end" that is the problem, think of a binary number as written from right to left. The 1 is at the start, and the number extends infitely to the left.
 
  • #58
Lars Krogh-Stea said:
But how can a string of A's and B's be infinite, but a string of 1's and 0's can not, when you literally just replace the A's with 0's and the B's with 1's?
That's not what I'm saying:

##0.010101 \dots## is an infinite string of ones and zeros. But, if you remove the ##0.##, you are not left with an integer:

##010101 \dots## is not an integer. All integers are represented by finite strings; whether it's ##0## and ##1## or ##A## and ##B##.
 
  • #59
Lars Krogh-Stea said:
The hotel paradox is full of insights when presented to the academic audience, but is presented like a hard riddle when presented by common people to common people.
That's a problem with the presentation, not the audience. In the hands of a competent presenter, Hilbert's Hotel is the best tool I've seen for explaining infinity to laypeople (loosely speaking, the intellectually curious who find the concept fascinating and don't talk the language of @PeroK's spot-on #54 above).

Just apropos of nothing... I find myself missing Martin Gardner...
 
Last edited:
  • Like
Likes sysprog
  • #60
PeroK said:
That's not what I'm saying:

##0.010101 \dots## is an infinite string of ones and zeros. But, if you remove the ##0.##, you are not left with an integer:

##010101 \dots## is not an integer. All integers are represented by finite strings; whether it's ##0## and ##1## or ##A## and ##B##.
But 010101 is a binary representation of an integer (1*1+0*2+1*4+0*8+1*16+0*32=21). So if you order an infinite set of infinite binary strings, from low binary value value to high binary value, you will in fact be counting by integers, to infinity. Thats why they will map directly to the number of hotelrooms, to infinity. If I'm still not getting it, I'll give up.. As I've previously said, I have no prior knowledge of numbers. Just thought it would be fun to have a little dive into it.
 
  • #61
Lars Krogh-Stea said:
But 010101 is a binary representation of an integer (1*1+0*2+1*4+0*8+1*16+0*32=21).
That's a finite string. They represent integers.

We are interested in infinite strings! They don't represent integers.
 
  • #63
PeroK said:
That's a finite string. They represent integers.

We are interested in infinite strings! They don't represent integers.
I understand all this.. But are you also saying that in an infinitely large set of infinitely long strings (containing only 1's and 0's) the string 100000000... wouldn't exist, and the string 1010000000... wouldn't exist?
 
  • #64
Lars Krogh-Stea said:
I understand all this.. But are you also saying that in an infinitely large set of infinitely long strings (containing only 1's and 0's) the string 100000000... wouldn't exist, and the string 1010000000... wouldn't exist?
Those are infinite strings all right, but they are not integers.

I suspect the root of the problem is that you don't realize that those are not numbers.
 
  • Like
Likes valenumr
  • #65
PeroK said:
That's a finite string. They represent integers.

We are interested in infinite strings! They don't represent integers.
Oh, I think I once again get the gist of your statement. I was missing the flow of your argument.
 
  • #66
Lars Krogh-Stea said:
But are you also saying that in an infinitely large set of infinitely long strings (containing only 1's and 0's) the string 100000000... wouldn't exist, and the string 1010000000... wouldn't exist?
Every integer has its own place on the number line. Where would these go? The thing is, it's impossible to say, because we don't know how many zeroes are represented by the ellipses (...).
 
  • Like
Likes valenumr
  • #67
valenumr said:
And really, any binary string can be interpreted as a number.
Not as an integer. Only as a real number with a decimal point somewhere.

Every integer, ##k##, has a decimal representation of the form:
$$k = k_0 + (k_1 \times 10) + (k_2 \times 10^2) + \dots + (k_n \times 10^n)$$For some finite ##n##, where the ##k_i## are the digits (binary or otherwise).

And, therefore, the integers are represented by finite strings of digits.

Every real number, ##x##, between ##0## and ##1## has a decimal representation of the form:
$$x = x_1 \times 10^{-1} + x_2 \times 10^{-2} + \dots$$Where ##x_i## form an infinite sequence of digits.

Therefore, the real numbers are represented by infinite strings of digits.

The OP's problem, I believe, is that he considers the following
$$k = k_0 + (k_1 \times 10) + (k_2 \times 10^2) + \dots$$To be an integer. Whereas, it is a divergent series and does not represent any finite number. Unless, of course, the ##k_i## are all zero after some finite value ##n##. But, then we only have the equivalent of the finite strings. We don't have every infinite sequence.
 
  • Like
Likes valenumr
  • #68
Mark44 said:
Every integer has its own place on the number line. Where would these go? The thing is, it's impossible to say, because we don't know how many zeroes are represented by the ellipses (...).
I wrote them from left to right, so you would get what I mean. You say it's impossible to say how many 0's come after 1. But mirror the number and you would see that it doesn't matter. Written from right to left, they would be easy to order and map to room numbers. And thus, for every passenger on the infinitely large bus, you can find a room. One gets off the bus, his name is AABBBBBB... (or 11000000...) He will get room number 3 (the digits are flipped so it reads from right to left). If somewhere along the line of digits more 1's appear, a room number will be given accordingly. Next passengers name is ABABABBBBBB... He will get room number 13 and so on. You will need to repeat the process infinitely of course, but that applies to the other methods too. The point is that it is possible to map these names to room numbers. For every passenger that gets off the bus, you will have to read as many letters as you need to differentiate them and assign a room.
 
  • Sad
  • Skeptical
Likes weirdoguy and PeroK
  • #69
Lars Krogh-Stea said:
I wrote them from left to right, so you would get what I mean. You say it's impossible to say how many 0's come after 1. But mirror the number and you would see that it doesn't matter. Written from right to left, they would be easy to order and map to room numbers. And thus, for every passenger on the infinitely large bus, you can find a room. One gets off the bus, his name is AABBBBBB... (or 11000000...) He will get room number 3 (the digits are flipped so it reads from right to left). If somewhere along the line of digits more 1's appear, a room number will be given accordingly. Next passengers name is ABABABBBBBB... He will get room number 13 and so on. You will need to repeat the process infinitely of course, but that applies to the other methods too. The point is that it is possible to map these names to room numbers. For every passenger that gets off the bus, you will have to read as many letters as you need to differentiate them and assign a room.
The digit 1 followed by infinitely many zeroes is not a (finite) number. We've been through all this so many times.

Veritasium is right. Georg Cantor was right. Every mathematician of the 20th and 21st Centuries was right. And you, I'm afraid, are wrong. No matter how many times you tell us that we cannot count, ultimately you are the one making the elementary errors.
 
  • Like
Likes weirdoguy
  • #70
PeroK said:
The digit 1 followed by infinitely many zeroes is not a (finite) number. We've been through all this so many times.

Veritasium is right. Georg Cantor was right. Every mathematician of the 20th and 21st Centuries was right. And you, I'm afraid, are wrong. No matter how many times you tell us that we cannot count, ultimately you are the one making the elementary errors.
I'm not saying that.. I'm saying the digit 1 with infinitely many zeroes before it can be read as a binary number that you can map to room number 1. The digits 11 with infinitely many zeroes before it can be read as a binary number that you can map to room number 3.. And so on. You have already answered yes to the question, when I asked if these combinations would occur in the list. Thats why I said that if you mirror the list, so it reads from right to left, then it's possible to map the passengers to their rooms.
 
  • #71
Lars Krogh-Stea said:
I'm not saying that.. I'm saying the digit 1 with infinitely many zeroes before it can be read as a binary number that you can map to room number 1. The digits 11 with infinitely many zeroes before it can be read as a binary number that you can map to room number 3.. And so on. You have already answered yes to the question, when I asked if these combinations would occur in the list. Thats why I said that if you mirror the list, so it reads from right to left, then it's possible to map the passengers to their rooms.

I think most conceptions of an infinite string of 1s and 0s does not have any such thing as infinite 0s, and then a 1. There are actual interesting ways to think about ordering in which you could imagine the set of all strings of infinitely digits and then one extra digit, but the canonical representation there is no "last digit".
 
  • #72
Office_Shredder said:
I think most conceptions of an infinite string of 1s and 0s does not have any such thing as infinite 0s, and then a 1. There are actual interesting ways to think about ordering in which you could imagine the set of all strings of infinitely digits and then one extra digit, but the canonical representation there is no "last digit".
I agree, but there is a first number. That's why I say "mirror the list".

Example: 100...0 will turn into 0...001. And for this practical application of mapping people to rooms, I see that as sufficient data to get the job done.
 
  • Skeptical
Likes weirdoguy
  • #73
valenumr said:
You're still trying to interpret the stings of ones and zeros as binary numbers. They are not. They are instances of members of a set. There is a mathematical study of boolean logic where such thoughts apply, but it is not relevant here.
If it works, it should be relevant..
 
  • Skeptical
Likes weirdoguy
  • #74
Lars Krogh-Stea said:
Example: 100...0 will turn into 0...001.
Bad example. Where is 100...0 on the number line?
And why not write the latter as just plain 1?

I think we've beaten this horse to death, so I'm closing this thread.
 
  • Like
Likes weirdoguy and PeroK
Back
Top