Talk:Hilbert's paradox of the Grand Hotel
This is the talk page for discussing improvements to the Hilbert's paradox of the Grand Hotel article. This is not a forum for general discussion of the article's subject. |
Article policies
|
Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
![]() | This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||||||||||||
|
Moving Guests to occupied rooms???
edit-'Because the hotel has infinite rooms, we can move any guest occupying any room n to room n+1, then fit the newcomer into room 1'. No, we can't. Room n+1 is already occupied, as are all rooms by definition. Any room in the hotel has 'occupied' as descriptor, as per condition of the problem (' a hypothetical hotel with a countably infinite number of rooms, all of which are occupied '). So, whatever number we call any particular room (be it n+1, n+2, n+3 or any other), it does not change the room's 'occupied' status. Therefore, we can't move a guest from an occupied room to an occupied room to make room for more guests :) Shorr (talk) 12:05, 24 December 2014 (UTC)
- Let's start with a hotel with N rooms all occupied where N is a finite integer. If we ask the occupant in Room i to move to Room i+1 (for i=1, N), it can be done, because the occupant in Room i+1 is moving to Room i+2 so that the occupant in Room i can move into Room i+1. Of course, in this case, the last occupant in the last room, Room N, has no room to move in, and this is a problem. Note the keyword here is "last". Comes in the mind-boggling idea of infinity. If the hotel has an infinite number of rooms numbered 1, 2, 3, ... and each and every room is occupied, the above operation can be performed without any problem. The reason: There is no last room or last occupant. One's mind is tethered to the idea of "last" and it is hard to break with it. --Roland (talk) 05:06, 3 March 2017 (UTC)
- I think there is a problem in terms of the infinity of rooms, guests and new arrivals. I would assume if the hotel had infinite rooms, no new guests would arrive since everyone would already be in rooms. However, there seems to be the assumption that there is not only an infinite number of guests but also a possibly infinite number of new guests arriving. Ghormax (talk) 02:01, 19 February 2024 (UTC)
(Nick here) Roland, your explanation doesn't make sense to me. There being no "last" room/occupant doesn't make it make sense for all current guests to be accommodated even after a new guest is given a room. It just pushes the problematic part (there being no room for one of the guests) infinitely out of view. I think this is a general problem with a lot of so-called paradoxes that involve infinity-- you follow a process that makes sense, and results in a paradox, but it has a problem. Then that problem just disappears over the horizon because of infinity, and we're supposed to accept that 'the impossible can become possible'. There not being a "last" guest *does not explain* how you can start with nothing but full rooms, add a guest, shuffle the original guests around, and somehow not have any room be double-booked or anyone without a room. Ultimately, what's really happening here is that logic *appears* to dictate that you can always accommodate an additional guest, but since we know there ain't no fuckin' way that could be true, there must be something wrong with the application of the logic. Yes, mathematically, it looks right. But that doesn't mean that it's a proper application and would obtain in the real world if we could somehow test it. What seems much more likely to me is that *the very idea of a hotel with an infinite number of rooms breaks the rules of reality already, so you cannot then go doing thought experiments on it and expect results to be fully logically consistent.* What say you? --Nick (2017-12-21 sorry I don't know how to format)
- Hi Nick. This space is not for this sort of discussion. See WP:TPG.
- Feel free to ask a question at WP:RD/Math, the mathematics reference desk. People will be happy to help you work through the questions there. --Trovatore (talk) 22:14, 21 December 2017 (UTC)
Here's how it works. The Hilbert Hotel is full. New guests arrive. Desk guy pushes the P.A. button, and announces, to all of the existing guests that there are X new arrivals. If we posit that a countably infinite number of rooms exist, and they are all occupied somehow, we sidestep the issue that an infinite amount of distance needed to be walked to set this up in the first place. If this is somehow true, then surely the global P.A. system would exist too. Everyone gathers all their stuff, and steps out of their rooms at the same time. now every room is unoccupied. Every person now has an unoccupied room to the side that is X higher, where X is the number of new guests. Everyone walks down x rooms, then enters their new room, freeing up x rooms for the new guests, which may then move in. Every one of the infinite number of current guests travels the same finite distance, and the new guests are moved in in a finite and reasonable timeframe. This starts to break down a bit with infinite numbers of new guests, as then the issue of infinite travel time is restored. 198.153.92.254 (talk) 16:12, 13 June 2021 (UTC)
Really?
edit"Suppose a new guest arrives and wishes to be accommodated in the hotel. Because the hotel has infinitely many rooms, we can move the guest occupying room 1 to room 2, the guest occupying room 2 to room 3 and so on, and fit the newcomer into room 1. By repeating this procedure, it is possible to make room for any finite number of new guests." This ignores a significant point; in this case, the process of switching guests to new rooms is infinite, so although the new guest is settled in room 1, the infinite hallway between the rooms always contains a person switching rooms with the next guest in the line. This means, though each room has a new occupant, the number of occupied rooms is exactly the same, for eternity. Whereas before, there was an infinite number of occupied rooms and no one in the hallway, now there is the same infinite number of occupied rooms and one person in the hallway- the hallway will never be empty, because there are always new rooms to cycle into, and new guests to move out. An analogous operation would be to move the person out of room 1, and send him to the end of the infinite hallway of occupied rooms to move into his new room- he will never make it, because there is no end to the process. Besides, there is truly no such thing as an infinite number of anything, because no matter how many rooms and guests there are, that number is not infinity. You can't have an infinite number of occupied rooms, even conceptually- the concept simply doesn't allow it. The fact that mathematicians accept this so called paradox seems to make it clear that they really don't fully understand the character of infinity. Perhaps my wiki-talk will change all that. I won't be holding my breath, though- my lungs are not of infinite capacity.
- Perhaps a better explanation of the paradox would work like so, "Infinity is a paradox because it never stops; yet we classify it as the end which is never-ending." It's an inherently circular concept. This is the very definition of a paradox. --Xtraeme (talk) 22:29, 1 July 2010 (UTC)
- Excellent post.
- Just granpa (talk) 15:11, 10 January 2011 (UTC)
...............
I just try to use simple logic, and this "paradox" does not work out in the end.
"every room is occupied"
In a hotel with finite rooms and a finite number of guests, that is entirely possible. However, this new hotel has infinite rooms but yet it still has a finite number of guests. I say the guest number remains finite because we can distinguish that 4 guests are staying at the hotel at the time. Clearly, 4 is a finite number. The addition and subtraction of guests also supports this because you can't physically subtract or add a finite amount to an infinite number. 4 + infinity = ?
We have a hotel with infinite rooms and finite guests. An infinite number can not equal a finite number, so we can never actually fill the hotel.
I doubt I'll check up on this any time soon, so email me here if you want to reply to me personally.
- I would just note in general that a question that has fascinated specialists in any field for many years probably does not have an obvious yet overlooked solution that can be spotted by a non-specialist in that field. Nareek 05:47, 30 November 2006 (UTC)
- The hotel is a thought experiment. It should not really be called a paradox, it's more of a little idea designed to illustrate some of the interesting properties of infinite quantities. Worrying about the practicalities like filling the hotel in the first place is missing the point. Obviously we can't build infinite hotels in real life, and obviously even if we could, we couldn't fill them up one-by-one. That isn't the point of the exercise. The point is to see that infinite quantities don't behave the way finite ones do. Maelin (Talk | Contribs) 12:14, 30 November 2006 (UTC)
- People are getting confused, attempting $4 + \infty$ to see how many rooms are needed, or $\infty - \infty$ to see if the hotel is full. Perhaps the article should explicitly mention Hume's principle and the further develpments of Cantor. The bijection is more fundamental than the number. To see if two sets are the same size, you don't count through each set and compare the resulting numbers; you test if their elements can be placed in exact correspondance. Endomorphic 23:56, 7 December 2006 (UTC)
- Is there a name for that rule? I've seen it stated in response to claims that the theory of evolution is a tautology, as well; it seems to be rather well-applicable. grendel|khan 19:56, 3 January 2007 (UTC)
I agree, this paradox is moronic, it simply doesn't work logically.
infinity + 4 = ?
editSince all infinities are the same size I would argue that 4 + infinity is equal to infinity.
All infinities are not the same size, though. Take the set of Natural Numbers and the set of Real Numbers. It has been proven that the Set of Real Numbers are larger than the set of Natural Numbers.
- You are right. If you take an infinite set and add four elements, the number of elements in the set does not change, so "infinity + 4 = infinity". The same is true when you add an infinite number of elemens (e. g. take the naturals and add the rationals), so "infinity + infinity = infinity". Going from naturals to reals is a different story, check "aleph numbers" for details. -- wr 87.139.81.19 (talk) 12:42, 9 January 2009 (UTC)
Old comments
editI am not sure that the article is correct when it says "that such a movement of guests would constitute a supertask". What is generally regarded as a supertask is an infinite series of actions occurring sequentially throughout a finite interval of time. Here the actions must occur simultaneously otherwise some of the guests would be moving to already full rooms. I have included Hilberts Hotel on the supertasks page which I am currently maintaining, but I'd like some consensus before I change anything. --NoizHed 11:19, 27 August 2005 (UTC)
This is quite interesting, but doesn't deal with the different "kinds of infinity"
If a bus load of people mapping on to the Real numbers turned up, they would not fit in a Grand Hotel with an infinite number of rooms each having an integer as a room number.
I think I'm right in this - but I don't know what Hilbert actually said. David Martland 09:48 Dec 11, 2002 (UTC)
It is indeed correct due to the fact that the cardinality of the reals is greater than the cardinality of the naturals. A more interesting question would be whether if the hotel rooms *and* the people mapped on to the reals you could fit everyone, but more importantly what method would you use. Asking everfone to move up to double their room number wouldn't make a difference in this case, each room would still be full. Asking everyone to move up their room number plus one would work because the rooms with numbers in the interval [0, 1) would then be free, and of course this is enough space for all the new guests. --NoizHed 11:19, 27 August 2005 (UTC)
but there is no paradox! if hotel is full rooms n and n+1 are full too! you can't move guests to make free room, because there aren't any free rooms to move guests to. porneL, icq:145671338. Oct 19, 2003
You get them to move up simultaneously. It is for this reason I don't believe that to do this involves a supertask, for with what we ordinarily classify as supertasks the actions occur sequentially. --NoizHed 11:19, 27 August 2005 (UTC)
- I agree. This paradox assumes since it is possible for there to be a hotel with infinite capacity, it is therefore possible for such a hotel to be full, but obviously, it cannot. You can't say, "The hotel has infinity rooms, and it currently is hosting infinity guests, therefore, if you subtract the number of guests from the number of rooms, you find we have zero rooms available." It seems painfully obvious, but since infinity isn't a finite number, it therefore cannot be treated as such. - RealGrouchy 19:49, 15 Jul 2004 (UTC)
- Claim 1: The hotel is full (it can't contain any more guests)
- Claim 2: The hotel has an infinite number of rooms (it can contain an infinite number of guests)}
- Claim 3: We can still add more guest
- Is it just me or is there a contradiction between claim 1 and 3? I think the paradox just proves that the hotel can't be full.PoiZaN 10:42, 16 May 2006 (UTC)
- The first claim should be rephrased: "The hotel is full (every room contains a guest)". This doesn't contradict claim 3, although claims 1 and 3 would be incompatible in a finite hotel. 213.249.135.36 19:52, 13 June 2006 (UTC)
- Or in more formal terms, the hotel is full when the set of guests and the set of rooms have the same cardinality. The fact that an infinite hotel may be full but still able to accept new guests is at the heart of the seeming paradox, because it clashes with our common-sense intuitions about finite-sized hotels.
---
Well, you can just fill all the even numbered rooms. Since there's an infinite amount of rooms, half the hotel will be forever free. Or not. --199.67.140.76 03:05, 21 Aug 2004 (UTC)
I have a strong urge to replace these occurences of "infinite (countable)" with 'indefinite'. I think the major flaw in this 'paradox' is that it confuses infinite with indefinite; infinite is not measureable, indefinite is -- so to speak, indefinite is "always one more". If you truly had an infinite number of (empty) rooms in the Hotel, you could never possibly reach a point where they were all full; contrastingly, if you had an indefinite number of (empty) rooms in the hotel, the problem would be unsolvable and thereby a paradox: since the number of rooms is not even defined, in any state (an integer, a decimal, or infinite), having just a single occupant would fill the entire Hotel. In this scenario, you could add rooms, but the would be automagically occupied from the infinite number of guests.
I think ;)
Don't change anything - this isn't how the terms "indefinite" and "infinite" are used. You seem to be referring to the actual/potential infinite distinction, but that doesn't appear to be relevant here. --NoizHed 11:23, 27 August 2005 (UTC)
Source
editNo source is given for the claim that this story is due to Hilbert. AFAIK the earliest source for this problem is:
- George Gamow, 1947. One, two, three... Infinity. New York: Dover.
where on p17 he claims it is an example Hilbert gave in a lecture, claiming in turn to have got this story from an R. Courant who was working on a then unpublished book to be called "The Complete Collection of Hilbert Stories". I'm guessing this has to be Richard Courant, who would be a good source for this attribution, but as it stands I see only an attribuition of an attribution... Does anyone have a better source, or know anymore about the manuscript Gamow talked about? --- Charles Stewart 17:50, 6 December 2005 (UTC)
- Possibly references at Wolfram's Mathworld article will be helpful...
See http://mathworld.wolfram.com/HilbertHotel.html
CiaPan 16:18, 17 July 2006 (UTC)
Subtracting infinities
editNot sure that the last edit is very helpful. Yes, you can subtract an infinite quantity from an infinite quantity and still have an infinite quantity--that's why the number of whole numbers is equal to the number of even numbers. It's one of the interesting qualities of infinity, but I don't think it ought to be posed as a question. I'll leave it to someone else to revert if they agree. Nareek 04:53, 22 January 2006 (UTC)
Is the cigar story really considered a valid thought experiment? While one can imagine an infinite number of hotel guests changing rooms, it's difficult to imagine a hotel guest handing over a billion cigars--or a trillion cigars--or a million billion trillion--all of which would be some of the smaller numbers of cigars dealt with in this hypothetical. Also, unlike the room transfers, which can be imagined being done simultaneosly, the cigar handovers would have to be done sequentially, which means the guest in the first room would be dead an infinite number of years before he got his cigar. Is the cigar thing really part of the canonical paradox? Nareek 17:24, 5 February 2006 (UTC)
A friend thought of this; Since there are an infinite number of guests staying at the hotel, then the newcomer would count as 0% of the total guests, therefore being nonexistant? could this be right? there's probably something I'm missing since I don't know too much about these things..
aznshorty67 04:02, 17 February 2006 (UTC)
- The size of the universe is infinite and there are an infinite number of molecules in the universe. You consists of a finite number of molecules and so you count as 0% of the universe, and are therefore nonexistent. How do you feel about being nonexistent then? Isn't it a marvellous feeling? The Hitchhiker's Guide to the Galaxy has an entry about infinity somewhat stating the same. PoiZaN 20:05, 16 May 2006 (UTC)
- Um. Nobody knows whether the universe contains an infinite amount of matter, or even if it is infinite in size. Regardless, being a finite proportion of an infinite quantity, or an infinitesimal proportion of a finite quantity, does not mean that one is nonexistent. No infinite or infinitesimal quantities are known to exist, and it's not really meaningful to make percentage comparisons of such hypothetical things. Maelin (Talk | Contribs) 09:04, 8 November 2006 (UTC)
Somethings bothering me
editIf the hotel consists of an infinite amount of rooms why would they fill up? They wouldn't.They suggest that you keep moving one room to the next, but why do this? They could just check into the infinite amount of rooms available.Also, you couldn't take up any rooms; because if one group of 4 people check into a room when there is infinite rooms available, they obviously take up a room, so how many are available now? There is an unlimited amount of rooms left. Leading to make me think thats there's actually no such thing as infinity.
--I agree... it would take a supertask to make the hotel full in the first place. Either that or an infinite number of people check in at the same time(talk about an opening-day rush). Incidentally, this infinite number of guests happen to be the infinite construction crew that built the darn place, now on vacation after completing it.
- The concept of the Grand Hotel is meant to be an educational tool for developing an understanding of countable infinities. It's not supposed to be an actual thing you could build, since even the amount of matter in the universe is finite, so worrying about issues of logistics is not constructive. Don't worry about how an infinite hotel got full in the first place, that's not the point. The point is to realise that even when it is full, you can still fit in as many more people as you need. Maelin (Talk | Contribs) 06:14, 2 November 2006 (UTC)
- That doesn't sit well with me. If there's room for more, this is not a full hotel.
- full
- –adjective
- 1. completely filled; containing all that can be held; filled to utmost capacity
- If there are always more rooms in the hotel, no matter what, it can't be full, even if there are always more people in the hotel, because for every one of those 'more people' who comes along, there's a room for them. If it were full, it would be 'containing all that can be held', but if the number of rooms is infinite, there is always room for the hotel to hold more. --Bertieismyho 02:01, 8 November 2006 (UTC)
- Well, that's just a quibble on the word "full". It seems to me pretty natural to say the hotel is "full" if there's someone in every room, but if you don't like the word in that context, feel free to think of another word. --Trovatore 02:22, 8 November 2006 (UTC)
- I edited the first paragraph to make it clear that in an infinite hotel, one must be careful about what one means by "the hotel is full". The point of the article is really that an infinite hotel is never 'full' in the sense that no more people can be accomodated. I hope it's clearer now. Maelin (Talk | Contribs) 08:59, 8 November 2006 (UTC)
Arguing with itself
editThe article as it is now is having a debate with itself--which isn't good. It's possible (indeed necessary) to provide more than one point of view without having the paragraphs bickering. Nareek 22:32, 5 July 2006 (UTC)
- I removed the bickering paragraphs, which seem to be rather pointless anyway--Hilbert's hotel paradox is about the nature of infinity, rather than about the practicalities of cosmic hotel management. It's rather like responding to Einstein's thought experiments by saying, "Well, if you were traveling that fast, how could you see the clock?"
- If someone feels a need to put this material back in, please try to do it in a way that reflects the various points of view rather than starting the internal argument again.Nareek 16:16, 12 September 2006 (UTC)
Infinite sets
edit"In fact, infinite sets are characterized as sets that have proper subsets of the same cardinality."
This is clearly false.
You'll have to say more. The characterisation seems fine to me. You might like to provide a pair of counterexamples: 1/ A finite set having a proper subset of the same cardinality 2/ An infinite set having no proper subset of the same cardinality. One would really be enough, but I give you two goals, in the hope that in failing to achieve one you may strive for the other, to eventually realise why the characterisation holds.
- I think the problem is the wording, while I understood what was meant, at first I read it as "if a set A has two proper subsets B and C, such that B has the same cardinality as C, then A is infinite", which is clearly not true. Would someone less tired than me like to come up with a wording that is unambiguous and not too messy? (By the way, I am not the original poster, in case the lack of signatures and dates makes this unclear.) Bistromathic 14:16, 8 June 2007 (UTC)
- How about "In fact, an infinite set is characterized as a set which has a proper subset of the same cardinality"? I don't see how it could be much simpler. grendel|khan 17:46, 8 June 2007 (UTC)
- Still with the ambiguity. You want to say "A set X is infinite if and only if X contains a proper subset Y of the same cardinality as X". Endomorphic 22:40, 10 June 2007 (UTC)
The Cosmological argument
editI'm confused by this section. It appears that the people using Hilbert to argue against the possibility of physical "real-life" infinities are trying to use that as proof that God DOES exist? Isn't that self-defeating though? Or is the God they're arguing in favor of actually a finite one? Though I recognize this isn't the main focus of the article, a fuller/clearer explanation of how this objection is resolved (as I'm assuming they can't possibly be unaware of it) would be very helpful. --Arvedui 09:05, 2 October 2006 (UTC)
- Guessing a little here -- could it be along the lines of: Infinities exist, physical infinities don't exist, therefore something non-physical exists, therefore God exists? Obviously this would not be the whole argument, but it could conceivably be the outline, with lots of reasons to be filled in for the various assertions and therefores. --Trovatore 20:04, 2 October 2006 (UTC)
- The argument is anyway really weak, with obvious fallacies. Since when did something being counter-intuitive prove anything? I can't be bothered to go dig up a notable refutation of this argument, and I doubt anyone else can either. I vote we just chop the whole section. --61.214.155.14 (talk) 05:53, 7 March 2008 (UTC)
Craig's argument was an argument to prove logically the universe had a beginning because an infinite past would require an actual countably infinite quantity. While this argument is largely unnecessary today, since we've proven the big bang with scientific experimentation and confirmation, this method is used to argue for a beginning for the universe strictly from mathematics and logic. It was far more relevant before the big bang was discovered. Lionside (talk) 22:27, 7 August 2009 (UTC)
- Frankly this section has no place here. It is a plant for christian apology in an article that should be about mathematics. It could perhaps be moved to pages that cover christian apologetics. I'll remove the section. People can revert and discuss if there is a real case for keeping it here. 99.118.116.9 (talk) —Preceding undated comment added 22:50, 12 June 2010 (UTC).
(Comment by 76.0.30.157 moved)
editThis comment moved here from the top of the talk page - Maelin (Talk | Contribs) 14:28, 27 December 2006 (UTC)
This is not a mathematical paradox. It's an example of flawed use of language. For a hotel to be "full" presupposes (by definition) a limited capacity, and the problem explicitly states that the capacity is infinite in this case (i.e. without limit).76.0.30.157
- The problem with the word "full" is that, in normal usage for finite hotels, there is no need to distinguish between "every room contains a person" and "there is no space for more people", since they are synonymous. In the case of infinite hotels, that synonymity no longer holds and we need to be careful with what we mean by "full". It was carefully stated in the first main paragraph of the article that when the hotel is described as "full", this should be taken to mean "there is a person in every room". Beyond that, the point of Hilbert's Hotel is to demonstrate the interesting properties of infinity, not to illustrate ambiguity in the interpretation of the word "full". Try not to get caught up on the minor details, they aren't the important part. Maelin (Talk | Contribs) 14:34, 27 December 2006 (UTC)
- The paradox article defines paradox as "A paradox can be an apparently true statement or group of statements that leads to a contradiction or a situation which defies intuition", so this does count as a paradox in the weaker sense. I don't find it satisfactory personally, since this is simply a case where infinities result in a situation contrary to intuition. If you've done much mathematics, then you'll realise that this is completely normal.
- It appears that Hilbert's Hotel is a thought experiment designed to help people who haven't had exposure to this sort of thinking get up to speed. I don't like the description as a "mathematic paradox" which confuses it with real mathematical paradoxes like the Banach–Tarski paradox. --61.214.155.14 (talk) 05:49, 7 March 2008 (UTC)
- What's the distinction between this and Banach–Tarski? In Quine's terminology, they're both veridical paradoxes. Algebraist 23:21, 30 May 2008 (UTC)
- It appears that Hilbert's Hotel is a thought experiment designed to help people who haven't had exposure to this sort of thinking get up to speed. I don't like the description as a "mathematic paradox" which confuses it with real mathematical paradoxes like the Banach–Tarski paradox. --61.214.155.14 (talk) 05:49, 7 March 2008 (UTC)
Confused
editHowever, in an infinite hotel, the situations "every room is occupied" and "no more guests can be accommodated" do not turn out to be equivalent
It is never explained why this is the case. This needs to be explained.
An even stranger story regarding this hotel shows that mathematical induction only works in one direction. No cigars may be brought into the hotel. Yet each of the guests (all rooms had guests at the time) got a cigar while in the hotel. How is this? The guest in Room 1 got a cigar from the guest in Room 2. The guest in Room 2 had previously received two cigars from the guest in Room 3. The guest in Room 3 had previously received three cigars from the guest in Room 4, etc. Each guest kept one cigar and passed the remainder to the guest in the next-lower-numbered room.
Is this written correctly? Seems to me the infinitieth guest had to have brought an infinity of cigars into the hotel for this to work. --24.57.157.81 00:46, 9 February 2007 (UTC)
- "However, in an infinite hotel, the situations "every room is occupied" and "no more guests can be accommodated" do not turn out to be equivalent" It is never explained why this is the case. This needs to be explained.
- Of course it is explained why this is the case. That's what the whole article is about.
- Seems to me the infinitieth guest had to have brought an infinity of cigars into the hotel for this to work.
- For one thing, there is no infinitieth guest. The very nature of an infinite number of guests is that every guest has another guest in the next room along. Still, your mistrust in the story's validity is well-founded, for the example is intended to demonstrate that mathematical induction can only work by starting from the base case and working up, and not the other way around. Maelin (Talk | Contribs) 09:09, 9 February 2007 (UTC)
- Oh I get it. The article neglects to mention that there are also an infinite amount of guests who want rooms, right? In an hotel with an infinite number of rooms (empty rooms, to be precise), there will always be another empty room available. Sounds reasonable. A hotel with an infinite number of empty rooms is never full. If an infinite number of guests arrive, they cannot all be accomdated because there is always an unoccupied empty room. That way the hotel is never full, but cannot accomodate an infinite number of guests. See, I don't think this is explained very well in the article, it just needs some reorganization I think.
- As for the cigars, I understand what it's trying to show (working backwards can give you any result you want--deriving a formula from a pattern is the same sort of concept), but I don't think it works out the way it is written. It should explain how the cigars got into the hotel, or why this doesn't matter, etc. --24.57.157.81 23:17, 9 February 2007 (UTC)
- You might be right about the cigar thing, it's not very clear. Regardless, I didn't quite follow your comments about the infinite number of guests. One of the things about a hotel with an infinite number of empty rooms is that, indeed, if you put guests in one by one, you will always have empty rooms left over, so filling the hotel with an infinite number of guests in the first place is a supertask. But the important part of the Hotel thought experiment isn't about filling the hotel up, it's about discovering that, even if you have somehow managed to fill -every- room with a guest, there is still space for a finite number of extra guests, even an infinite number of extra guests, and even an infinite number of groups of infinite numbers of extra guests. Maelin (Talk | Contribs) 00:03, 10 February 2007 (UTC)
- I'm wrong again I think, having read about it somewhere else: The hotel starts off full. It has an infinite number of occupied rooms, not empty rooms. The hotel can create an unoccupied room by moving the guest from room 1 to room 2, and room 2 to room 3, and so on. Eventually*, the guest in room infinity will have to move to room infinity + 1. Since infinity + 1 = infinity then it does not matter. I think it does matter, but I only want to get the idea straight, regardless of whether or not I think it works out.
- And to clarify my previous comment, it's irreleveant but if you're interested, it seems I made up something like the opposite of the situation. (The hotel is never full, can accept a finite number of new guests, but can never accomodate an infinite number of guests).
- .*I don't think the fact that this is a supertask enters into it, I think someone just added that in because it is interesting.-- 24.57.157.81 19:37, 10 February 2007 (UTC)
- You've got the right idea now, except for your comment about the guest in Room ∞. There is no infinitieth room, at all. Every room has a room number that is a finite, positive whole number, called a natural number. That's why they can always move up one, because there are infinitely many natural numbers. This is a bit confusing because when we are dealing with counting finite quantities (like, say, a set of five apples), we can number them off (apple 1, apple 2, ...) and the number we get on the last one is exactly the number of apples there are. In contrast, every hotel room in Hilbert's Hotel has a room number that is finite, but the total number of rooms is not finite. Put succinctly, . Maelin (Talk | Contribs) 07:58, 11 February 2007 (UTC)
"Coach" meaning "bus" is a UK-specific idiom
editVery few English speakers in the US refer to a bus as a "coach", the word should be changed for clarity. —The preceding unsigned comment was added by 155.212.242.2 (talk • contribs) 16:18, 19 June 2007 (UTC)
- Well, does anything really change if what pulls up to the hotel is an infinitely capacious stagecoach, presumably drawn by infinitely many horses? --Trovatore 22:05, 19 June 2007 (UTC)
- Fixed by creating a disambiguating link to coaches. --kostmo 01:48, 11 September 2007 (UTC)
The Hallway
editWith the infinite hotel, I don't understand. Since the hotel is infinite the hallway is infinite. Either you can't add a new guest until all guests are in their new rooms, which would be a infinite amount of time, hence never, or there would be one guest propagating in the hallway for each new guest you add to the hotel. —Preceding unsigned comment added by Websaber (talk • contribs) 03:53, 13 October 2008 (UTC)
- You're getting hung up on irrelevant detail here. You might as well ask how the hotel got a building permit. Just start with the assumption -- yes, I understand it's impossible, but that doesn't matter -- that the hotel exists, the guests are all in their rooms, and the signal can be sent to them all simultaneously to pick up and move to the next room. What logically follows? That's the content of the paradox. --Trovatore (talk) 05:59, 13 October 2008 (UTC)
- That does clear it up thanks —Preceding unsigned comment added by Websaber (talk • contribs) 05:32, 5 November 2008 (UTC)
- Your (Trovatore) solution doesn't address the fundamental problem with the "paradox". People are finite. Rooms are occupied by people.
- We assume that at some point in the past, there was the "first person".
- For the sake of argument, let's assume that you're the "first person", and the "second person" has yet to be born.
- Again, for the sake of argument, since you're the "first person", no one else has yet to check in to the hotel.
- Now, once you check in, and you get to your room, who is in the room?
- You're the only person.
- You're the first person, EVER. No one else has checked in to the hotel
- You're pretty sure you're not in the room.
- There's no one else that can be in the room since no one else has been born. To be clear, no one has checked in to the hotel since you checked in.
- There must be someone in the room, or else the room is unoccupied.
- There's two choices:
- Explicitly name the person who is in the room that isn't me, isn't someone yet to be born, or otherwise require a "paradoxical" person (since this would resolve the Grand Hotel paradox by shifting the paradox problem somewhere else).
- Accept that there is no paradox because the "paradox" is logically inconsistent and requires impossible things to be true (other than the infinite number of rooms, which we're accepting as possible for the sake of argument).
- I can prove all sorts of things true if you allow impossible things to be true. Johne23 (talk) 12:45, 21 March 2010 (UTC)
- Your (Trovatore) solution doesn't address the fundamental problem with the "paradox". People are finite. Rooms are occupied by people.
- See my response to "This article is obviously flawed", and you will see that these arguments have no basis. Awychong (talk) 05:30, 27 April 2010 (UTC)
axiom of choice
editThe argument with accomondating infinitely many coaches actually uses the axiom of choice. This should be clarified at some point. Katzmik (talk) 13:20, 23 October 2008 (UTC)
Hilbert doesn't get it
editThe idea of the Grand Hotel fails to mention the space required. For this to work then guest (1) would have to share room (a) with guest (2) until guest (2) leaves for room (b) and so on. This implies that the infinity of the surrounding space would have to be larger than the infinty of the number of guests. It makes more sense to imagine an infinite space occupied by an infinite number of particles. Particle (1) cannot occupy the next space until particle (2) moves, but it can't because the next space is always occupied. The new particle we are trying to fit into the space couldn't exist. There would never be a new guest because all the guests in the universe are already in the hotel.
- You are missing the point entirely. The Grand Hotel thought experiment is intended to demonstrate certain unintuitive properties of countably infinite quantities. The logistics and engineering considerations of an infinite hotel are irrelevent, as are problems in having an infinite number of people, and so forth. Maelin (Talk | Contribs) 02:35, 11 May 2009 (UTC)
- Maelin, the paradox is fundamentally flawed and logically inconsistent. Having an "infinite number of rooms" hides the fundamental problem and just confuses people. Contrary to everyones claim here, the "magic" of the paradox does not come from having an infinite number of rooms. The real problem is revealed when you start to ask "Who is in the room?"
- Let P be the population of people, which we represent with the set of natural numbers, N, where N > 0.
- We define "the room is occupied" as containing at least one member from P. No cheating by trying to substitute the empty set in a room. :)
- I am the first person, that is to say, me = { 1 }. For simplicity, we all agree that we will not use a member from P that is > 1 for the moment (i.e., any member of P that we discuss will satisfy both x > 0 and x < 2).
- I check in to the Grand Hotel. You can pick any door you want, but you guarantee that the room is occupied "by a member of P".
- We open the door. In order for you to claim that the room is occupied, you must show me someone from P that is > 1 (not me) and, simultaneously, is < 2 (not any of "children", so to speak).
- To be clear, there is no member from P that satisfies both > 1 and < 2 at the same time.
- One way out of the paradox is to axiomatically define the statement "The member occupying the room is both > 1 and < 2 and is a member of P" as "True".
- By this route, we have created a genuine paradox- by definition, you have created a condition that is true that can not be true. For most people, though, this does not make it "provably true".
- Another way to "solve the paradox" is for me to be in the room. This is perfectly reasonable from a mathematical perspective- there is only one '1', yet I have used it multiple times. However, since we're discussing people, it's fair to say that we are implicitly applying constraints that would only allow '1' to be in one place at a time.
- This is the fundamental paradox of the Grand Hotel. You can toss the infinite number of rooms out- it just postpones having to deal with the above case. Since this is a case that will eventually happen, and in fact must happen, you have to come up with a logically consistent solution to it. The infinite rooms is just a red herring, it allows you to defer dealing with this case, which is the real problem. Since we are dealing with countably infinite set, I can demand an explanation for "what happens the very first time", even though there are an infinite number of numbers after me. Johne23 (talk) 04:17, 22 March 2010 (UTC)
- See my response to the section on "This article is obviously flawed" and on "Errors in the article". Awychong (talk) 05:46, 27 April 2010 (UTC)
What Paradox?
editI am sorry, but I just don't get what the "paradox" is. 117.97.26.35 (talk) 15:56, 24 October 2009 (UTC)
External link removed
editI added a link here[1], a page that talks about the infinite hotel, but it was automatically removed. Is it because it's in a different language? In that case, what are the polytics of the english wikipedia in linking? —Preceding unsigned comment added by 84.78.246.14 (talk) 02:24, 12 January 2010 (UTC)
This article is obviously flawed
editThis is the first time I've heard of "Hilberts paradox of the Grand Hotel", but the content of this article is obviously flawed. Personally, I suspect it is because it has been transcribed incorrectly, or who ever wrote the original content did not appreciate the nuances of how the original "paradox" was stated.
The line stating the paradox contains a fundamental flaw:
Consider a hypothetical hotel with countably infinitely many rooms, all of which are occupied – that is to say every room contains a guest. One might be tempted to think that the hotel would not be able to accommodate any newly arriving guests, as would be the case with a finite number of rooms.
The flaw is the underlined text. This statement, at least the way it is phrased, means there is a paradox if, and only if, one assumes the following conditions:
- The Grand Hotel can rent out a room more than once. That is to say, it can rent a room that is already occupied by a guest to a newly arriving guest.
- A newly arriving guest can only get a room on the condition that the room they get is currently occupied. The management assures the newly arriving guest that they will immediately re-locate the guest currently occupying the room to another room "right away".
- A newly arriving guest must agree to be relocated to another room at any time. The room that they will be relocated to will be occupied by another guest, which the management assures that they will immediately re-locate to another room.
- A newly arriving guest must agree and guarantee, forever, that they will not do anything to cause the room they are in to become "unoccupied."
- A newly arriving guest must take a room. They can not decide that they don't like the terms and would rather go somewhere else.
Point #5 might seem odd, but it is probably required due to the wording of the paradox. It is required because if any guest is given the opportunity to refuse a room at the Grand Hotel, there exists the possibility that every guest before you has refused a room, and you are "the first guest". This would require the hotel to have a room occupied by a guest before you, the very first guest, because whatever room you get, it will already be occupied. The "paradox", as stated, only works if you can make some kind of hard guarantee that you are not the first guest at the hotel.
If this is indeed how the Grand Hotel "paradox" was put forth, then the "paradox" is specious. It is disingenuous to claim that this is a "paradox" when it is predicated on conditions that no reasonable person would agree to, not to mention that they are unstated. It's probably also illegal in most places to rent an already occupied room to a new guest. If this is really the complete "paradox", I would argue that this is not a true paradox, but actually a half-truth. The "paradox" requires that one assumes that the "the expectations of what it means to stay at a real world hotel are the same for the Grand Hotel" when they very clearly are not. Compare the Grand Hotel Paradox to the Birthday Paradox, which is not a "true" paradox, but in my opinion, is certainly more of a "paradox" than the Grand Hotel. To me, the fact that the paradox requires that guests never get an unoccupied room, and the hotel can demand that you move to a new room whenever they want, and as often as they want, makes it pretty hard to claim that it is a "hotel".
Consider the "paradox" when the offending line is removed:
Consider a hypothetical hotel with countably infinitely many rooms. One might be tempted to think that the hotel would not be able to accommodate any newly arriving guests, as would be the case with a finite number of rooms.
Once the qualification that "all the rooms are occupied" is dropped, it no longer seems like a "paradox". On the other hand, if you want to keep the "all the rooms are occupied" qualifier, it doesn't really seem like much of a "paradox" when you read the "fine print of the contract".
The article continues with:
Finitely many new guests - Suppose a new guest arrives and wishes to be accommodated in the hotel. Because the hotel has infinitely many rooms, we can move the guest occupying room 1 to room 2, the guest occupying room 2 to room 3 and so on, and fit the newcomer into room 1. By repeating this procedure, it is possible to make room for any finite number of new guests.
IMHO, this is not actually true as it is worded since it glosses over the fact that you can't ever cause the state of a room to become "unoccupied", though it is not clearly defined what qualifies as "unoccupied". It also hand waves the fact that it's possible your entire stay at the hotel will be 100% filled with moving from room to room, something most people would probably object to.
Another small, minor detail not really mentioned is the fact that checking out of the hotel would create an unoccupied room... or at least glosses over some of those "messy details" like requiring a room to instantaneously "vanish" once it becomes "unoccupied"... and the fact that you're pretty much screwed if you forget something important in the room and need to go back for it...
These cases demonstrate the 'paradox', by which we mean not that it is contradictory, but rather that a counter-intuitive result is provably true: The situations "every room is occupied" and "no more guests can be accommodated" are not equivalent when there are infinitely many rooms.
Again, the "paradox" relies on the fact that most people reasonably assume that "to be accommodated" means that they will be given an unoccupied room, and once they've been accommodated, they're not going to be kicked out of their current room and relocated to another room at any time. The "paradox" also requires that a guest can be relocated as many times as the Grand Hotel wants to relocate them. In fact, they may spend their entire stay at the Grand Hotel relocating from room to room, literally closing the door only to have it the hotel knocking on it to relocate you again. Most guests subjected to the "worst case scenario" for the entire duration of their stay at the Grand Hotel would not consider themselves to have been "accommodated" by the Grand Hotel. This is probably yet another unstated caveat in order to make the "paradox" logically consistent: Every guest that stays at the Grand Hotel is "happy with the service provided" and can't claim that they weren't accommodated.
The Grand Hotel Cigar Mystery section also has a number of fatal flaws, at least as it is stated in the article:
Another story regarding the Grand Hotel can be used to show that mathematical induction only works from an induction basis.
Suppose that the Grand Hotel does not allow smoking, and no cigars may be taken into the Hotel1. Despite this, the guest in room 1 goes to the guest in room 2 to get a cigar2. The guest in room 2 goes to room 3 to get two cigars3 - one for himself and one for the guest in room 1. In general, the guest in room N goes to room (N+1) to get N cigars4. They each return, smoke one cigar5 and give the rest to the guest from room (N-1). Thus despite the fact no cigars have been brought into the hotel, each guest can smoke a cigar inside the property6.
The fallacy of this story derives from the fact that there is no inductive point (base-case) from which the induction can derive. Although it is shown that if the guest from room N has (N+1) cigars then both he and all guests in lower-numbered rooms can smoke,7 it is never proved that any of the guests actually have cigars. The fact that the story mentions that cigars are not allowed into the hotel is designed to highlight the fallacy.8 However, unless it is shown that in the limit there is a guest with infinitely many cigars, the proof is flawed regardless of whether or not cigars are allowed in the hotel9.
This one is even worst than the original "paradox"- it puts forth a "mathematical induction thought experiment" that can be trivially disproven.
- 1 - Establishes how cigars can make it in to the hotel- specifically that they can't. The thought experiment does not specify any other way for a cigar to enter the hotel, nor does it specify where the cigar "comes from" that a guest eventually smokes.
- In general, all the conditions need to be stated up front. Anything that depends on pulling something out of thin air is generally considered to be logically flawed. Anything can be proven if you're allowed to make up rules at any point that happen to benefit your argument.
- Since the thought experiment provides no other way for cigars to enter the hotel (i.e., a room comes stocked with a random number of cigars), and a condition of the thought experiment is that guests can't bring cigars in to the hotel, we can prove that there are no cigars in the hotel.
- If a cigar does manage to turn up, we can prove that it "magically appeared". In order for a "proof" to be legitimate, it can not depending on any "magically appearing cigars".
- It is unstated, but assumed, that the only way a guest can get a room is to "enter the hotel as a new guest", and that all of the guests occupying a room in the hotel were initially a new guest at some point in the past.
- We make this unstated, but completely reasonable assumption explicit to prevent "magically appearing cigar" loopholes.
- 2 - As stated, this creates a number of problems.
- In the context of the Grand Hotel "paradox", all rooms are "occupied", but what "occupied" means is not well defined. Does a guest leaving a room to go to the room of another guest make the room unoccupied?
- In the context of the thought experiment, it creates a condition where a guest goes from their room to another guests room, leaving the original room unoccupied — if someone knocks on the first guests door at that point, no one will be there to respond.
- This seemingly trivial detail probably dooms the entire thought experiment just by itself.
- 3 - This really should be cleaned up. As worded, it allows for the possibility that "room 3" is unoccupied and happens to contain a cache of cigars. The thought experiment should clearly state what happens when a room in unoccupied.
- It is assumed that there are no magical caches of cigars anywhere since the thought experiment never mentions such an important detail.
- By most standards, if a room is unoccupied, it can't be entered.
- What happens when a guest comes across an unoccupied room should be clearly stated. Is the guest required to keep trying rooms until an occupied one is found? This seems to be implied and it is assumed.
- 4 - This establishes that an infinite number of rooms can be checked. This is analogous to "recursion".
- 5 - This makes two critical and fatal assumptions-
- 1) a guest "guaranteed" to return with cigars.
- Although we can make the reasonable claim that "there are no cigars in the hotel", the thought experiment requires that when a guest doesn't have the required number of cigars (which they are guaranteed not to since they can not have any cigars by definition), they need to "go to the next guests room" and ask that guest for cigars. No limit is specified on how many times this can take place.
- 2) a guest is "guaranteed" to return.
- Because the thought experiment deals with an infinite number of rooms, and no "bounding conditions" are given, there is no guarantee that a guest will ever actually return. Fundamentally, this is known as the halting problem.
- 3) Because of 2, and the fact that the thought experiment deals with an infinite number of rooms, there is no guarantee that when a guest is asked for cigars by another guest, and that guest leaves their room to go knocking on doors, that they will ever find another occupied room- the possibility exists that a guest is infinitely unlucky.
- This has important ramifications- you can even change the conditions so that all the other guests have an infinite number of cigars, it still wouldn't guarantee that a guest is actually going to find an occupied room.
- 1) a guest "guaranteed" to return with cigars.
- 6 - This implies that having an infinite number of rooms is all that is required to create the possibility that cigars will eventually be found, even though no guest is permitted to bring cigars in to the hotel.
- Not only is this absurdly ridiculous — how, exactly, does having an infinite number of rooms create the possibility that there are cigars in the hotel? — the halting problem proves that there is no deterministic guarantee that even if there were cigars to be found, that a guest would ever return with some cigars in a finite amount of time.
- 7 - The only thing that is "shown" is that if, and only if, the condition of a guest having n+1 cigars ever "happens", then all the guests at n and below can have a cigar.
- This is not even remotely close the same thing as proving that this condition is ever going to happen. You can not claim to prove that guests are smoking in the Grand Hotel if you can not even prove that a single guest can smoke a cigar.
- Even if the example was restated to address the fundamental flaw of where the cigars come from, it still wouldn't prove that guests can smoke cigars in the hotel since a guest may have to wait an infinitely long time for another guest to return with cigars. The halting problem proved long ago that it is impossible guarantee that a guest would only have to wait a finite amount of time for their cigars. A proof that guests can smoke a cigar requires a guarantee that they only need to wait a finite amount of time- the fact that the cigar is being smoked requires that some event in the future has come to pass, and it can not come to pass if it never arrives.
- Just about anything can be proven true if you're allowed to wait an infinite amount time — if you don't like the result, you only need to claim that if you wait a little bit longer, the desired result will happen. It is not uncommon for "proofs" about what will happen in the future to be predicated on unprovable axiomatic statements: Gödel's incompleteness theorems
- 8 - The fact that it is never proven that any of the guests have a cigar is sufficient to prove that none of them do.
- Technically, if we accept the proof, the proof proves that a guest has a cigar — in order for the guests to be smoking a cigar, there has to be one, and by induction, a valid proof that a guest is smoking a cigar proves that at least one guest has a cigar (the one being smoked).
- My guess is that the author meant to say that it is never proven that a guest brought a cigar in to the hotel — just because you're smoking a cigar doesn't necessarily mean that a "guest broke rule" and brought one in.
- Yet the thought experiment provides no other way for guests to obtain cigars.
- Since only a single way is provided for cigars to enter the hotel, and it is specifically forbidden for any guest to bring a cigar by the way described... if you want to claim that guests are smoking cigars, you must accept the fact that guest(s) brought cigars in to the hotel, which for most purposes proves that guest(s) brought cigar(s) in to the hotel (i.e., you can't get there from here without going through the forbidden zone).
- My guess is that the author meant to say that it is never proven that a guest brought a cigar in to the hotel — just because you're smoking a cigar doesn't necessarily mean that a "guest broke rule" and brought one in.
- It is unstated, but strongly implied, that having an infinite number of rooms is all that is required for cigars to exist in the hotel.
- This is tantamount to "pulling cigars out of thin air by magic."
- The fact that where the cigars come from is ambiguous, assuming one accepts that no guest brought a cigar in to the hotel, means that the "proof" depends on everyone accepting the fact that cigars appear out of thin air, like magic.
- There is no requirement on anyones part to accept the fact that cigars just magically appear. As a general rule, most people will not assume that cigars magically appear. The proof does not say that I'm required to accept that cigars magically appear.
- Not only does this means that nothing was proven, it disproves the entire hypothesis, or at least demonstrates that it is fundamentally flawed.
- I choose to assume that cigars can not magically appear out of thin air since I'm not required to. Now there are no cigars for any of the guests to smoke no matter how many rooms and other guests they check with.
- Technically, if we accept the proof, the proof proves that a guest has a cigar — in order for the guests to be smoking a cigar, there has to be one, and by induction, a valid proof that a guest is smoking a cigar proves that at least one guest has a cigar (the one being smoked).
- 9 - This would seem to offer evidence that the proof is flawed- the thought experiment provides no plausible way for any guest to get even a single cigar, which by definition would rule out the possibility of a guest having an infinite number of cigars.
Johne23 (talk) 20:03, 19 March 2010 (UTC)
What you have stated contains several major misunderstandings.
Consider a hypothetical hotel with countably infinitely many rooms, all of which are occupied – that is to say every room contains a guest. One might be tempted to think that the hotel would not be able to accommodate any newly arriving guests, as would be the case with a finite number of rooms.
The statement of the paradox is an assumption in that at the current point in time every room in the hotel is occupied. You seem to be claiming that the statement of the paradox means that every room is always occupied, regardless of what the guests do. This is not what the paradox is about, and it is the main point in your misunderstanding.
If this is indeed how the Grand Hotel "paradox" was put forth, then the "paradox" is specious. It is disingenuous to claim that this is a "paradox" when it is predicated on conditions that no reasonable person would agree to, not to mention that they are unstated. It's probably also illegal in most places to rent an already occupied room to a new guest. If this is really the complete "paradox", I would argue that this is not a true paradox, but actually a half-truth. The "paradox" requires that one assumes that the "the expectations of what it means to stay at a real world hotel are the same for the Grand Hotel" when they very clearly are not. Compare the Grand Hotel Paradox to the Birthday Paradox, which is not a "true" paradox, but in my opinion, is certainly more of a "paradox" than the Grand Hotel. To me, the fact that the paradox requires that guests never get an unoccupied room, and the hotel can demand that you move to a new room whenever they want, and as often as they want, makes it pretty hard to claim that it is a "hotel".
The Grand Hotel Paradox is not supposed to be a "true" paradox. The point is that if the hotel was finite, then one could not accommodate more guests when every room is occupied, however this can be done when the hotel is infinite. You also seem to be suggesting that the hypothetical hotel has some relation to a real hotel, that just because the hotel can move guests at any time means it cannot be a hotel. While real hotels cannot do this, this is a hypothetical hotel and does not fall under the rules of real hotels. Similarly, the guests are hypothetical and just because no reasonable person would agree to the conditions does not mean that these hypothetical people won't. The entire paradox is hypothetical.
IMHO, this is not actually true as it is worded since it glosses over the fact that you can't ever cause the state of a room to become "unoccupied", though it is not clearly defined what qualifies as "unoccupied". It also hand waves the fact that it's possible your entire stay at the hotel will be 100% filled with moving from room to room, something most people would probably object to.
Another small, minor detail not really mentioned is the fact that checking out of the hotel would create an unoccupied room... or at least glosses over some of those "messy details" like requiring a room to instantaneously "vanish" once it becomes "unoccupied"... and the fact that you're pretty much screwed if you forget something important in the room and need to go back for it...
This has been covered by my earlier comments, as are all the sections up to the one quoted below.
The Grand Hotel Cigar Mystery section also has a number of fatal flaws, at least as it is stated in the article: ... This one is even worst than the original "paradox"- it puts forth a "mathematical induction thought experiment" that can be trivially disproven
The thought experiment is supposed to be disproven. You seem to have missed the point here as well.
In conclusion, your arguments have no basis as they are based on misunderstandings of what is intended. Awychong (talk) 05:26, 27 April 2010 (UTC)
Personally, AWchong, I think you're full of crap. The fundamental declaration is this - the hotel contains an infinite number of rooms, and each room is occupied. We are dealing with exactly one entity: an occupied room. The paradox does not claim "an infinite number of rooms, and an infinite number of guests" (two discrete entities), it claims "an infinite number of occupied rooms". If it claimed "an infinite number of rooms, and an infinite number of guests" then adding additional guest would be no problem, since infinity is undefined and adding to the set of infinity remains undefined. However, that the rooms are qualified as 'occupied', means there are no unoccupied rooms, so no more guests can be accommodated.
Also, I can't see where your getting the idea that "it doesn't say every room is always occupied". Actually, it does. It says quite clearly "countably infinitely many rooms, all of which are occupied". No where does it even imply that there is a time constraint to this condition.
This is basic set theory, it's actually pretty simple. —Preceding unsigned comment added by Zencycle (talk • contribs) 19:01, 19 November 2010 (UTC)
Actually, "all of which are occupied" does not mean "all of which are always occupied". I think you're running into confusion here because you're thinking of a countably infinite number of guests arriving one by one, when in this thought experiment all moves are made simultaneously.
The heart of your misunderstanding, though, is with countably infinite sets. I believe you are thinking of the infinity from calculus (a number bigger than any finite number), or the infinity from theology (an incomprehensible, never-ending hugeness), instead of that of discrete mathematics (a set of objects where every object corresponds to one and just one unique positive integer). Finite sets, like you're used to working with, just behave so much differently than infinite sets. It'd be like trying to comprehend some of the weirder quantum physics theories using only Newtonian physics.
173.23.82.190 (talk) 06:55, 22 September 2013 (UTC)
I have removed the following sentence at the end of the cigar mystery section
"However, unless it is shown that in the limit there is a guest with infinitely many cigars, the proof is flawed regardless of whether or not cigars are allowed in the hotel."
This is meaningless as there is no such thing as a "guest in the limit": a limit is a topological concept and here it is used out of place. The best thing I can think of while trying to inject some sense into this sentence is to consider a countable poset of guests of order type (omega + 1) - that is, the set of natural numbers extended with a sigle element (called "omega") greater than every natural number. It still would not follow that every guest can smoke a cigar, no matter how abundantly cigar-laden guest omega is because nobody is ever going to ask him for a cigar, since guest N only asks guest N+1. I think. — Preceding unsigned comment added by 93.65.38.28 (talk) 15:00, 25 August 2011 (UTC)
It's inconsistent, not a paradox
editAfter some further thinking on this, this isn't a paradox at all. Whether or not there is a paradox depends critically on how one defines the Grand Hotel. I'm of the opinion that any formulation of the Grand Hotel is either logically inconsistent or simply "shifts the paradox" somewhere else, and therefore not a paradox at all.
For example, a slightly more formal definition of the hotel might be something like:
- Let P be the set that contains people. The set P contains a finite number of members. The empty set is not a member of P.
- We define "hotel room occupied" as a room that contains a single member from the set P. To be clear, a hotel room can not be occupied by the empty set.
- The hotel contains an infinite number of rooms.
This is the Grand Hotel, where there are an infinite number of rooms, and each room is occupied, but the hotel can still take in new guests!
- Now, let us say that the set P is {1}, that is to say- you're the very first person ever, and the only one.
- You check in to the Grand Hotel.
- As promised, the room you check in to is occupied, and the current occupant is shuffled off to another room, since there's an infinite number of them.
The obvious question is... who was the occupant in the room that got shuffled off? The answer is: it was you. No one ever explicitly said it couldn't be you, after all. Oh wait, is it a problem for there to be two of you when there is only one of you? The Grand Hotel is not responsible for paradoxes you create yourself.
If you restate the problem so that the occupant of the room isn't you, you will most likely create a logically inconsistent model that, for all practical purposes, boils down to:
- All true statements are false.
- All false statements are true.
This article claims:
These cases demonstrate the 'paradox', by which we mean not that it is contradictory, but rather that a counter-intuitive result is provably true: The situations "every room is occupied" and "no more guests can be accommodated" are not equivalent when there are infinitely many rooms.
Anyone who accepts that the Grand Hotel is provably true also accepts that it is provably false because all true statements are false. In general, though, most people don't put a lot of weight behind provably true statements that are the result of inconsistent logic. —Preceding unsigned comment added by Johne23 (talk • contribs) 10:34, 21 March 2010 (UTC)
- See my response to the above part. The hotel is not necessarily full all the time. Awychong (talk) 05:34, 27 April 2010 (UTC)
You solved the paradox just with this one statement: "The Grand Hotel can rent out a room that is currently occupied by a guest to a newly arriving guest." Simply by making this assumption clear, any counterintuitiveness is removed. Any hotel with such a policy can always accept new guests, regardless of whether the number of rooms is finite or infinite. — Preceding unsigned comment added by 153.204.75.136 (talk) 20:55, 11 February 2017 (UTC)
Errors in the article
editSome find this state of affairs profoundly counterintuitive. The properties of infinite "collections of things" are quite different from those of finite "collections of things". In an ordinary (finite) hotel with more than one room, the number of odd-numbered rooms is obviously smaller than the total number of rooms. However, in Hilbert's aptly named Grand Hotel, the quantity of odd-numbered rooms is as many as the total quantity of rooms. In mathematical terms, the cardinality of the subset containing the odd-numbered rooms is the same as the cardinality of the set of all rooms. Indeed, infinite sets are characterized as sets that have proper subsets of the same cardinality. For countable sets, this cardinality is called (aleph-null).
Rephrased, for any countably infinite set, there exists a bijective function which maps the countably infinite set to the set of natural numbers, even if the countably infinite set contains the natural numbers. For example, the set of rational numbers - those numbers which can be written as a quotient of integers - contains the natural numbers as a subset, but is no bigger than the set of natural numbers since the rationals are countable: There is a bijection from the naturals to the rationals.
This wrong, very wrong. The set of natural numbers, , is countable, and contains either all the numbers > 0 or > 1 (depending on your definition), such as { 1, 2, 3, ... }. The set of natural numbers continues on in to infinity. The set of integers, , is countable, and contains all of the numbers in , along with all the "negative integers", such as { ..., -3, -2, -1, 0, 1, 2, 3, ... }. The set of integers "continues backwards infinitely and forwards infinitely from 0". Even though both and contain an infinite number of numbers, contains "even more". The set of natural numbers, , is a subset of , which is to say, for any number in , it also exists in . There reverse is not true: -1 does not exist in , but does exist in .
These two sets of numbers have the following property: Given two numbers, say 2 and 3, there is no number in either set that is both > 2 and < 3. This is one of the properties that "makes them countable" is that you can provably distinguish between any two of them.
The set of rational numbers, , is uncountably infinite. The article incorrectly states that the set of rational numbers is countable. The set of integers, , is a subset of the set of rationals, . For every number that exists in , it also exists in . But, just like there were numbers in that were not in , there are numbers in that do not exist in .
Using our example of 2 and 3 from before, one of the properties of the set of rational numbers is "Are there any numbers that are > 2 and < 3?" Yes, 2.5 for example. And one can keep finding smaller and smaller subdivisions between any two numbers- in fact, between the numbers 2 and 3 there are an infinite number of numbers. This is why the set of rational numbers is uncountable- Starting at 0, and counting to 1, you can never actually reach 1.
Whether or not this paradox "makes provably true statements" depends entirely on how one defines the problem. If we limit ourselves to just considering the set of natural numbers, , (which seems perfectly reasonable with all the discussion of "countably infinite" and the fact that people are finite, with an undeniable "first person" at some point in the past), it is trivial to prove the Grand Hotels claims that every room is occupied, but it can still accommodate guests because it has an infinite number of rooms, are impossible, and therefore false. The short proof is this: Using the set of natural numbers, , where N > 0, I can provably claim to be the first person in the hotel: 1. My proof is absolute and irrefutable, because by definition I am the first person to check in: No one has checked in before me, and no one is allowed to check in until after I check in. I check in to the hotel, they show me to my room, which they claim is occupied. The hotel has an infinite number of rooms to choose from, and they are free to choose any one they want. When we open the door, the room must be occupied by someone > 1 and < 2. Since we can irrefutably prove that there are no numbers between 1 and 2, the room can not be occupied. In fact, we'll even allow the room to contain "0", but this would be tantamount to proof of an unoccupied room that can not be repudiated, otherwise I would have non-repudiable evidence that there exists a number between > 1 and < 2, even though no such number could possibly exist.
Any definition of the Grand Hotel which makes Provably True statements is going to depend on some kind of "loop-hole" in order to be true. For example, it's perfectly valid from a mathematical perspective for the hotel to populate it's room with numbers from the set of integers, . However, once you "allow" this, you sort of concede to "not playing fair". In fact, once you go this route, there's no need what-so-ever to have an "infinite" number of rooms. You can have The Humble Hotel, with just one room, and even when the guest currently using the room checks out, the hotel can still take a new guest, even though it's "provably" occupied.
Even under "looser" definitions of the hotel, I can still demand that the only room that I will accept as "being occupied" is the room that is occupied only by me, the countable version of me. With an infinite number of rooms, there must exist a room that meets my standard. I can "demand" the paradox be resolved, and whatever the outcome is, it is non-repudiable from that point on (we'll define it as axiomatically true from that point on- up until that point in time, no one could prove it one way or another, but after that point, someone has Proof that settles the question). Evidence in my favor would be: the hotel was full and had to turn me away, or the room I was assigned was unoccupied, or the hotel was found to be "cheating", etc . The hotels proof would be showing me the room that I am in, even when I'm not in it. From that point forward, the hotel can't claim "If I'd only waited another minute..." or "Our contract says that even though we have an infinite number of rooms, that one specific room that you wanted, you can't ask for it, but... that doesn't mean we're full! You just have to accept one of our other rooms, and there's an infinite amount to choose from, you just can't have that one room." —Preceding unsigned comment added by Johne23 (talk • contribs) 17:46, 23 March 2010 (UTC)
- You clearly do not understand the concept of "countable". A set is countably infinite if there exists a one-to-one correspondence between the natural numbers and the members of the set. See Countable_set. The correspondence does not have to be in ascending order, as you seem to be suggesting. In fact, this paradox is supposed to demonstrate properties of countably infinite sets.
- In addition, you claim that the rational numbers are not countable. The article I linked to earlier demonstrates a proof that they are. As an aside, you seem to be using the wrong symbol for the rational numbers - is the set of real numbers, while is the set of rational numbers.
- For my response to the rest of this section, see my response to "This article is obviously flawed" earlier on this talk page. Awychong (talk) 05:41, 27 April 2010 (UTC)
Clarification
editTo be clear, it is only possible to accommodate a new occupant in the hotel if all the guests move to the next room correct? Just sending a new guest into the hallway to find a room for himself would prove a futile task since he would wander the halls forever and never find an unoccupied room.Ziiv (talk) 19:24, 7 April 2010 (UTC)
- The management are able to specify an exact room number for each guest to move to. (We ignore the congestion on the corridors, and provide in-corridor transport at near-infinite speed for those who would have to walk a long distance.) Dbfirs 12:15, 15 December 2012 (UTC)
Cardinality Cleaners
editI read about this from somewhere, can't remember where, and wonder whether it could be added in the article. It's a related thought game, where the company that cleans the Grand Hotel is introduced. The Cleaners also demonstrate that there are infinities of different sizes.
The Cardinality cleaners are responsible for cleaning the Grand Hotel. The Cardinality Cleaners have an infinite amount of employees, each having a distinct set of rooms to clean so that for each set of rooms in the Hotel, there is exactly one Cardinality Cleaner. Every day the Grand Hotel's administration calls the Cleaners requesting a set of rooms to be cleaned - the worker responsible for that particular set is sent to work.
The Cleaner's boss is satisfied with his workers and decides to book them a weekend stay at the Grand Hotel. Unfortunately, the Grand Hotel is too small for the Cleaners, as one-to-one pairing can't be established between counting numbers (rooms) and sets of counting numbers (cleaners). They have to check in to a bigger hotel (infinite, with each real number used as room number), which in turn is cleaned by a bigger cleaning company, which needs an even more humongous hotel... 88.112.51.212 (talk) 17:54, 7 January 2011 (UTC)
- I don't see any great point in adding this to the article. The point of the Hilbert Hotel is to connect some of these concepts from basic set theory with intuition. The learner needs to figure out to ignore some stuff, like "where would you put a hotel that big" or "how can a guest move from room 10^100 to 2*10^100 in the same time another guest moves from room 1 to 2".
- In the case of the cleaners, though, I think the stuff you have to ignore has gotten distracting. For example, why exactly would you assign, to each set of rooms, a single worker to clean them, when that means that each room will end up getting cleaned times? I'm just not sure the story is worth the trouble any more. That wouldn't matter if this were a standard follow-on to the original story, but I kind of doubt that it is. --Trovatore (talk) 18:37, 7 January 2011 (UTC)
- Sorry if I was confusing, but every day only one cardinality cleaner is sent to work - if rooms 4, 16 and 200157 need cleaning, the cleaner specializing in that set goes to work, and the others slack off. Nevertheless, this part of the story is mainly flavor text. The very idea is to demonstrate that there are different sizes of infinities, as, no matter how the Cleaners are stuffed in, it's always possible to find at least one who hasn't got a personal room. However I'm not insisting that this should be added, it's up to your judgment. 88.112.51.212 (talk) 09:09, 8 January 2011 (UTC)
- Oh, I see. That's sort of cute, I guess. If it can be found in the sources it's at least plausible that it might be mentioned. Still not sure though — might be just more confusing. --Trovatore (talk) 06:14, 9 January 2011 (UTC)
- I don't see why Cardinality Cleaners need to employ an infinite number of cleaners for each room in the hotel! Why must their cleaners be uncountable? ... (later) ... If the company wanted to book a separate training room for each set of cleaners, then I agree that the Hilbert Hotel could not accommodate the ( )≠?) sets, but this is not the same as being too small to book one cleaner into each room. Dbfirs 18:55, 26 November 2012 (UTC)
- No one has mentioned .
- Apparently there are cleaning employees, each of whom specializes in a single subset. Why they so massively overstaff is not explained; they just do. There's nothing mathematically wrong with the story — the question is whether it's worth including in the article. My feeling right now is that it's probably not, even if sourceable, because it's too hard to explain and doesn't add enough value. But if it were a standard follow-on to the original paradox, we'd probably include it. --Trovatore (talk) 19:41, 11 February 2013 (UTC)
- Sorry, might (or might not) be an over-estimate, but I would just line them up and fire them one by one! Dbfirs 20:54, 11 February 2013 (UTC)
- "Might (or might not) be an under-estimate". I assume that's what you meant to say. --Trovatore (talk) 20:59, 11 February 2013 (UTC)
- Yes, under. I agree that the article is tidier without Cardinality Cleaners. Dbfirs 21:33, 11 February 2013 (UTC)
- "Might (or might not) be an under-estimate". I assume that's what you meant to say. --Trovatore (talk) 20:59, 11 February 2013 (UTC)
- Sorry, might (or might not) be an over-estimate, but I would just line them up and fire them one by one! Dbfirs 20:54, 11 February 2013 (UTC)
- I don't see why Cardinality Cleaners need to employ an infinite number of cleaners for each room in the hotel! Why must their cleaners be uncountable? ... (later) ... If the company wanted to book a separate training room for each set of cleaners, then I agree that the Hilbert Hotel could not accommodate the ( )≠?) sets, but this is not the same as being too small to book one cleaner into each room. Dbfirs 18:55, 26 November 2012 (UTC)
- Oh, I see. That's sort of cute, I guess. If it can be found in the sources it's at least plausible that it might be mentioned. Still not sure though — might be just more confusing. --Trovatore (talk) 06:14, 9 January 2011 (UTC)
- Sorry if I was confusing, but every day only one cardinality cleaner is sent to work - if rooms 4, 16 and 200157 need cleaning, the cleaner specializing in that set goes to work, and the others slack off. Nevertheless, this part of the story is mainly flavor text. The very idea is to demonstrate that there are different sizes of infinities, as, no matter how the Cleaners are stuffed in, it's always possible to find at least one who hasn't got a personal room. However I'm not insisting that this should be added, it's up to your judgment. 88.112.51.212 (talk) 09:09, 8 January 2011 (UTC)
Sources
editThere appears to be a lack of sources, despite the abundance of external links. To call attention to the fact, I have added the unreferenced tag to the page. --159.91.127.30 (talk) 05:02, 12 September 2011 (UTC) (forgot to sign in on the first post, but quickly edited it in afterward)
New Solving for Infinite Buses
editI have added a new piece on what to do when an infifnite number of coaches arrives, which I believes works better than the others, because it easily includes every number, and every person, only once, but still includes every room. I did not see this anywhere, but rather developed it from the existing proof that all of the rationals can be expressed as the integers. In a few steps, I drew this conclusion out. Does this conflict with the "new material" rule of wikipedia? Please tell me if it does, and I will do something about it. — Preceding unsigned comment added by 5^.5*.5+.5=phi (talk • contribs) 02:23, 29 October 2011 (UTC)
I think something close to this is said on the page about pairing functions. On the graph, you can see all of the numbers displayed. The first row is the triangluar numbers. The next row adds one. The next row adds two and starts with the second number. In this way, every row represents a coach of people, and the first one represents the guests already in the hotel. 5^.5*.5+.5=phi (talk) 19:09, 1 November 2011 (UTC)
Luggage
editBut what if all the luggage was really heavy. Would the servants build an infinite amount of muscle? — Preceding unsigned comment added by 85.229.199.220 (talk) 09:18, 11 August 2012 (UTC)
Hilbert doesn't understand the difference between an infinite number of rooms and as many rooms as imaginable
editFor example, there are an infinite amount of numbers between 1 and 2 yet a set of numbers containing 1-2 and 4 (first set) contains more numbers than the set of numbers simply containing the numbers 1-2 (second set). This is a fact since we know that the first set contains all the numbers of the second set and the second set does not contain all of the numbers of the first set. So let's say the hotel has an infinite number of filled rooms numbered with all the numbers between 1 and 2, it would not be possible to hold the one extra person even though the hotel has an infinite amount of rooms since the number of people exceed the number of rooms even though they are both infinite value. — Preceding unsigned comment added by 192.245.87.10 (talk) 11:33, 22 October 2012 (UTC)
- This article needs some serious rewriting, if only to make it abundantly clear that "paradox" is not used in the usual sense (as it appears from the talk page, it does not stress the point enough), and to clear up misconceptions like this and the ones exemplified by Johne23's comments above. The sets {x|x∈R}∪{4} and {x|x∈R} do have the same cardinality, even though they may appear that the first has "more" than the other (they both have the cardinality of the continuum. Your argument (that one does not contain all the numbers of the other) is flawed; the even numbers do not contain all the natural numbers, yet the two sets have the same cardinality. You cannot number the rooms of the hotel with reals between 1 and 2, because they are uncountable, as opposed to the rooms. I don't know what you mean by "as many rooms as imaginable", though. -Anagogist (talk) 17:31, 21 November 2012 (UTC)
- The word paradox is in fact used in the usual sense. The usual sense of paradox is "apparent contradiction", which is exactly what this is (of course once you're used to it it no longer appears like a contradiction, but to many naive observers, it does). It's true that the word is also used sometimes to mean "genuine contradiction", but if you claim that's the usual sense, I disagree. --Trovatore (talk) 20:55, 21 November 2012 (UTC)
- After taking a look at List of paradoxes#Logic and Category:Paradoxes, I have to retract my statement and agree with you. The article, then, should not make it abundantly clear that "paradox" "is not used in the usual sense" as I said above, but rather underline that it is not the contradictory type of paradox. I edited the intro to reflect this, and I hope it makes the distinction clear. -Anagogist (talk) 14:25, 22 November 2012 (UTC)
- The word paradox is in fact used in the usual sense. The usual sense of paradox is "apparent contradiction", which is exactly what this is (of course once you're used to it it no longer appears like a contradiction, but to many naive observers, it does). It's true that the word is also used sometimes to mean "genuine contradiction", but if you claim that's the usual sense, I disagree. --Trovatore (talk) 20:55, 21 November 2012 (UTC)
Hilbert Knew Perfectly Well What He Was Doing
editAt least two commentaries on this page said "Hilbert didn't understand blah blah blah". Hilbert was the leader of the the world's mathematical community in his time, and his mathematical reputation was so formidable that, according to Scientific American, Einstein feared Hilbert might work out the General Theory of Relativity before Einstein did. Hilbert was no fool.
Hilbert was trying to demonstrate that the usual rules of arithmetic don't work when applied to infinity (something pointed out 300 years earlier by Galileo) and he succeeded. People who don't follow his line of reasoning then claim the problem with the rules is Hilbert's fault.
I heard of the Infinite Hotel Problem in my college math class, AFTER a discussion of Infinite Set Theory, and understood perfectly well what Hilbert was doing. 2001:558:6011:1:11B7:55ED:94CC:AC2C (talk) 21:23, 28 April 2018 (UTC)
Hype vs. payoff
editThe entire cigar mystery is too much hype (the title), too many words, and too trivial to be worth the investment for all the people who'll end up reading it. It's not sponge-worthy. Let's get rid of it or abridge it.
173.25.54.191 (talk) 02:57, 1 December 2012 (UTC)
- I think it's a useful warning about the dangers in mathematical induction. Where's the "hype"? Dbfirs 09:05, 1 December 2012 (UTC)
Infinitely many coaches
editIn the section about infinitely many coaches, there is this sentence: For each of these methods, consider a passenger's seat number on a coach to be , and their coach number to be . The hotel may be considered "Coach #0." It isn't at all clear to me what this sentence is telling us. There is no explanation of what to do with the numbers n and c. TomS TDotO (talk) 14:03, 7 August 2013 (UTC)
The subsections use those numbers, though it may be less clear in the first subsection (the prime powers one). ± Lenoxus (" *** ") 01:06, 14 August 2013 (UTC)Wait, I see you've fixed it up, thanks! ± Lenoxus (" *** ") 01:08, 14 August 2013 (UTC)
Infinite layers of nesting
editThis section is very confusing and/or misleading. Suppose that there are infinitely many ships as described in this section. Label each ship with a digit 0 - 9, in a way such that the subships of any given ship are all labeled with different numbers. Then each passenger can be labeled with an infinite sequence of digits, namely the labels of the ships the passenger is in. BUT, for any two passengers, these sequences will agree for all but finitely many digits. This is because, living in physical space, they are presumably a finite distance apart. Since the set of sequences which agree with a given sequence except for finitely many digits is countable, the passengers would be able to fit in Hilbert's hotel.
I see what the section is trying to go for, but it doesn't seem to be doing a very good job. I think it would be better if the nesting were downwards rather than upwards, so that each ship has ten subships, each of those has ten subships, etc., and in the intersection of each sequence of ships is a passenger. This would be closer to how uncountable sets (e.g. the Cantor set) are usually talked about in a mathematical setting. Unfortunately, it runs into the problem that each passenger is infinitely small. It seems that this problem is unavoidable, because if each passenger had positive volume, it would contradict the fact that the uncountable union of positive measure sets cannot be sigma-finite. David9550 (talk) 19:24, 12 September 2013 (UTC)
The most mysterious paradox is missing...
editWhen I learned about this paradox in the Technion, it had an interesting punch-line, which for some reason does not appear here. Here is the version I learned:
- At 23:00, a countable number of guests arrive and fill the rooms.
- At 23:30, another countable number of guests arrive. The existing guests move to the even-numbered rooms (1->2, 2->4, etc.), and the new guests fill the odd-numbered rooms.
- At 23:45, another countable number of guests arrive, and again the existing guests are moved to even rooms and the new guests are put in the odd rooms.
- In a similar manner, whenever the time to midnight decreases by half, a new group with a countable number of guests arrive and fill the odd rooms, while the existing guests are moved to the even rooms. Up until midnight, a countable number of such groups arrive.
- At midnight, the manager of the hotel decides to see how the guests in his hotel are doing. So he goes to room number #1, and... the room is empty! Why? Because any guest that has been in room #1 at time T before midnight, has moved to room #2 at time T/2 before midnight.
- From a similar argument, room #2 is also empty, and so are room #3, room #4, and so on.
- It turns out that, by midnight, an infinite number of groups with an infinite number of guests has arrived to the hotel, but, all rooms are empty!
This is not only a paradox - it is a mystery. A very scary mystery. --Erel Segal (talk) 21:02, 14 December 2013 (UTC)
- That's an interesting connection to the Ross-Littlewood paradox. Do you have any sources? Paradoctor (talk) 03:35, 15 December 2013 (UTC)
Why sources? Something that is obvious by inspection is true even if nobody has ever published such a thing before. 108.20.114.62 (talk) 18:17, 4 January 2019 (UTC)
How to occupy the room
editThe procedure of occupying a new room is not properly defined in the text. Most probably in order a room to be occupied, it must be available first.
Even without this assumption, there should be an example of how effectively we can move each guest from room n to room n+1. Just saying move all guest from room n to room n+1 is actually not working, because moving could mean rename the room n to n+1 and this does not make any room available.
I suggest a very simple addition. Move all guests from room 2n-1 to the room 2n temporary together with the existing guests in room 2n. That way all rooms 2n-1 will become available. Now, move all those guests that had been in room 2n-1 and are now in room 2n to the room 2n+1. And this can be done because we made each 2n-1 room temporary available. This way room number 1 will be left vacant so a new guest can accommodate. The procedure explained here is not there to show how moving is done, but rather to explain that this can be done.
However the paradox is in the hidden definition of moving, and if this is obscured we can come to any conclusion.
Imagine we have a binary number 0.1111111111.... Now shift all 1 to the right to accommodate a new room. We get 0.01111111.... We have got a new 0 after decimal space so we can add a new digit 1. The same as in hotel story except the fact that by shifting everything to the right we have divided the number by 1. And of course we have got a room for a new guest. This is an example of possible definition of moving that has no paradox in itself.
Without a clear definition of moving a guest operation, we can conclude anything. There must be such definition of moving that says: having a first room empty and all others occupied is equivalent to moving guests from all occupied rooms from room n to room n+1 leaving first room empty, and without any additional price paid and without any possible difference.
The infinite layers spaceship analogy is wrong
editThis analogy is just plain stupid. If you tried to construct such a system of spaceships in R^3 and represent each person as a point, then clearly each person is an isolated point, and you can only have countably many isolated points in R^3, so total number of people is countable. If you think about it, each person correspond to a sequence in 10^omega thats eventually constant, and this subset of 10^omega is clearly countable. — Preceding unsigned comment added by Money is tight (talk • contribs) 23:28, 3 February 2016 (UTC)
- Assuming AC, a countable number of countable infinities is indeed countable. All of those infinite layers can indeed be accommodated, but there's no way to give a constructive example of how to do it because you can't prove two to the aleph-null is regular without some form of choice. (You can prove that aleph-two is not the countable union of countably many things, but not aleph-one; and if you're foregoing choice then the cardinality of the continuum need not be directly comparable with any aleph.) That said, you're missing the point of the exercise. This is an entirely fictional mathematical universe. Even the Universe we have access to does not admit infinitely many physical things (the part we are able to access, at any rate, which is essentially our 'Universe'). TricksterWolf (talk) 01:56, 16 March 2017 (UTC)
It is as wrong as any paradox
editPick any paradox (with or without an wikipedia entry)! They all follow the same rules: First you create a seemingly possible situation. Like a hotel. Or a man with a mule. Or a race between Achilles and a tortoise. It must be something that people can imagine. Next, you create a rule or set of rules. Sometimes this is not obvious, but it is always done. For example: If you make changes in your hotel, you have to begin at the first room, not at the last. And also totally absurd rules like: "infinite is a countable number". And you don't have to clear a room first before you put in another guest. And you can take cigarettes from a room before you brought them in. Or for the race: you can't wait until the race is over to see who wins, you must check the state in ever smaller timeframes. If you look closer, all of these rules don't make any sense at all. They are the exact opposite of the seemingly possible situation, as they never appear in real life. Real life problems always have multiple solutions. For example: even if somebody forces you to choose between A and B, you can always choose not to choose. So the paraxdox is created by applying a set of rules, which are not based on logic or experience. Instead they are specially crafted to create the so called paradox. Most talk pages to paradoxes have a lot of arguments to show flaws in the paradox. But whenever a flaw is exposed, somebody will say this is not possible. It is against the rules which were set up. So for me, the paradox is that nobody sees this although it it obvious and a common property of all paradoxes.--TeakHoken79.203.243.199 (talk) 12:21, 25 March 2016 (UTC)
Another mistake I see often is that people believe rules (or if you want to call them this: laws) cannot be broken. When in reality all rules can be broken and are broken regularly. Most times people don't want to do it, because they have to face the consequences. But from my experience, in most of the cases you don't have to face consequences, because nobody knows about it. You can even break physical laws. For example: everything must fall down. or: everything must fall to the higher source of gravity. This is broken all the time. The earth never falls into the sun. And light elements like hydrogen float upwards. Even things with a lot of mass, like zeppelins, don't fall. That's because physical laws are models. The show you a way how to think. And that's the reason why they don't always apply. Because they limit something (how you can think) in an unnatural way. It is also to note that all physical laws are superseeded by other physical laws from time to time. Like Newton's Gravity by the Relativity. And the Relativity by Quantum Mechanics. And so on...? So what I want to say is: rules can be broken.--TeakHoken79.203.243.199 (talk) 12:26, 25 March 2016 (UTC)
- The set of rules that you describe is called a model. It is not a mistake, but a way to study some particular aspect of reality or of a formal system (such as a mathematical theory). In the article I've linked above ant in this other one you can read about how models are used and why they are benefitial. Diego (talk) 17:18, 25 March 2016 (UTC)
- The law of gravity is not "things fall down" but "matter exerts a force of certain intensity". When the zeppelin stays up it's not because it's "breaking the rule" but because it's taking advantage of other forces that pull in other directions. 2001:558:6011:1:38F3:171E:261:EBEA (talk) 17:42, 10 July 2017 (UTC)
- A bit of nitpicking: those 'other forces' actually push in other direction, not pull. --CiaPan (talk) 16:45, 31 December 2020 (UTC)
- The law of gravity is not "things fall down" but "matter exerts a force of certain intensity". When the zeppelin stays up it's not because it's "breaking the rule" but because it's taking advantage of other forces that pull in other directions. 2001:558:6011:1:38F3:171E:261:EBEA (talk) 17:42, 10 July 2017 (UTC)
Simple Solution
editEvery room is occupied, but since the setup states that (unlike typical hotels) the hotel can rent out occupied rooms to new guests, there is no paradox or contradiction in saying that new guests can be accommodated. — Preceding unsigned comment added by 153.204.75.136 (talk) 21:03, 11 February 2017 (UTC)
- This again? The setup does not state that. The entire purpose of moving all the guests around is to make one room unoccupied, which is given to the new guest. 2.25.149.66 (talk) 04:02, 28 February 2017 (UTC)
Finite-address case
edit@11cookeaw1: In the case where each person is identified with a finite string of digits, the result is countable. Cantor's diagonal argument relies on the ability to produce a counterexample string that has at least one digit per enumerated string. This cannot be done in the case where the addresses are all finite. Put differently, finite strings can be identified with a subset of the rationals (in a suitable base) and are thus countable.--Jasper Deng (talk) 01:04, 26 November 2017 (UTC)
- "If this variant is modified in certain ways, then the set of people is countable again. For example, suppose there were a largest ship, directly containing a finite (or countably infinite) number of both ships and people, and each of these ships in turn contained both ships and people, and so forth. This time, any given person is a finite number of levels "down" from the top, and thus can be identified with a unique finite address. The set of people is countable again, even if the total number of layers is infinite, because we do not have to consider an "infinitieth layer" in either direction." You could have say 9 ships and people in larger ship and model it as the reals from 0 to 1. 11cookeaw1 (talk) 01:32, 26 November 2017 (UTC)
- @11cookeaw1: No. The number corresponds to no person under this scheme. Put more formally, the set of all addresses of a given finite length is finite, and the countable union of countable (in particular, finite) sets is countable. If we relax to countably many objects at each level, the result is still countable: for any finite number of countable sets, their Cartesian product is countable. Since each address is a member of said Cartesian product for a given address length, the set of all addresses for objects at a certain level is countable, and because there are countably many levels, the same argument applies.--Jasper Deng (talk) 01:59, 26 November 2017 (UTC)
Repetitive exposition
editOnce the article gets to the Infinitely many coaches with infinitely many guests each section, I think it starts to go off into the weeds a bit. The key takeaway here is that any countable set of new guests can be accommodated. I don't think we need to go into endless variations about what sets are countable. Also, since there are no inline refs, it's not easy to determine which of these arguments come from the sources, and which ones are just someone's personal take (for example, the notion of "layers" of infinity, which is not any standard terminology that I'm familiar with, though what the author means is probably clear enough if you bother to work through it). --Trovatore (talk) 03:12, 4 May 2018 (UTC)
Incorporating the diagonal argument
editI recently added a section explaining how to incorporate the diagonal argument into the story of the hotel. This isn't original research, I came across the idea in the arxiv paper I cited. However, the edit got unrolled by @Wcherowi: the reason given was "Unpublished ArXiv source; may not be considered reliable." While the bulk of the paper itself might or might not be reliable, the reader can check from the text I wrote that indeed the diagonal argument is thus incorporated into the story. The role of the citation is not to provide credibility but merely to give a original source for where the diagonal argument-addition was first seen. Is it wikipedia policy that, unless someone publishes the diagonal argument in this context, it cannot be added to the article? If so, it's a shame, given how concrete it makes the diagonal argument that many people find confusing at first encounter. — Preceding unsigned comment added by 159.8.170.6 (talk) 13:32, 14 September 2018 (UTC)
- Wikipedia is an encyclopedia, not a sourcebook. We do not document first occurrences of ideas that may be good or bad. Instead, we report on what the experts have said (reliable secondary sources) about a topic. Unpublished work has not been vetted by the academic community and so can not meet that level of assurance. Wikipedia's definition of original research is very broad. An idea, no matter where it originates from, that is not backed up by a reliable secondary source, can be considered to be original research in this context. So, in answer to your question, yes it has to be published and moreover it has to be commented on in order to be eligible for inclusion in this encyclopedia.--Bill Cherowitzo (talk) 17:51, 14 September 2018 (UTC)
no hallways!
editI clicked on this Talk page expecting to see references to hallways, and I wasn't disappointed. This is a complete misunderstanding of the procedure involved. Try this:
An infinite number of convention-goers have emailed their preregistration to the Accommodations Chairman, who has emailed them all back with their room number. Then another preregistration comes in. The Chairman assigns this new applicant room #1, then emails all the others informing them that their new room number is now their original room number plus one. No hallways! 108.20.114.62 (talk) 18:35, 4 January 2019 (UTC)
prime powers
editIn the first line of the chapter "Prime powers method", it says: "Empty the odd numbered rooms by sending the guest in room to room ". This is technically correct, of course. But why instead of just ? The goal is to remove guests from all even rooms. And the easiest way to achieve it, is to move the guests to double their current room number. Using seems totally arbitrary to me. After clearing out all even rooms, the "Prime powers method" can be applied to find rooms for all the guests. Epaminaidos (talk) 14:57, 10 June 2020 (UTC)
- It's not arbitrary because that way, the occupied rooms are the prime powers, which was the apparent point of this. What could be done is to simply omit the "Empty the odd-numbered rooms" bit if you think it's misleading. Of course, this is all pretty crufty WP:OR and should probably be removed anyway, but ehh. –Deacon Vorbis (carbon • videos) 15:10, 10 June 2020 (UTC)
Not a false paradox but a non-existent one
editThere is a confusion of language which creates an apparent paradox. 1. being full has no meaning with an infinite number of rooms. 2. having an infinite number of guests leaves no possibility of any new guests unless they are part of a separate infinite set of not-guests. 3. A not-guest can become a guest if an empty room exists. But all rooms are by definition full and there are no empty rooms to convert a not-guest to a guest. — Preceding unsigned comment added by Kripan (talk • contribs) 19:01, 7 November 2020 (UTC)
- Not sure I really follow exactly what you're trying to say, but in any case please review the talk page guidelines. If you want to make a change to the article, you need reliable sources. If you just want to argue about it, we're not supposed to do that here. --Trovatore (talk) 20:05, 7 November 2020 (UTC)
Not thought through
editYou are all missing the point. To get an infinite amount of new guests into their rooms you would need an infinite amount of receptions. And that would really cut into profit margins. I am afraid it's just not feasible. — Preceding unsigned comment added by 2A02:810B:C63F:DF78:54E9:118B:787A:A150 (talk) 21:22, 1 December 2020 (UTC)
- I do indeed think that somebody is missing the point. --Trovatore (talk) 01:46, 2 December 2020 (UTC)
- Lol! :-D -- 92.10.212.241 (talk) 19:54, 23 February 2023 (UTC)
Questioning Hilbert’s Hotel as a vertical paradox, where the counter initiative result is provably true
editA. Hilbert’s Hotel Hilbert’s Hotel is full. Guest X arrives. Every guest n moves intro room n+1 simultaneously. Guest X moves into room 1. X and all other guests are in a room.
B. It does not matter if an infinite amount of moves taken simultaneously or an infinite amount of moves taken one after another. Hilbert’s Hotel is full. Guest X arrives. X moves intro room 1 and guest 1 moves out of room 1 simultaneously. Guest 1 moves into room 2 and guest 2 to moves out of room 2 simultaneously… After an infinite amount of moves taken, every guest n is in room n+1. X and all other guests are in a room.
A works like B but one after another.
C. Hilbert’s Hotel is full. Guest X arrives. Guest X has a red hat and all guests in the hotel have no hat. X moves intro room 1 and guest 1 moves out of room 1 simultaneously. Guest 1 moves into room 2 and guest 2 to moves out of room 2 simultaneously… After an infinite amount of moves taken, ever guest n is in room n+1. X with his red hat is in room 1 and all other guests are in a room.
B works like C but X has a red hat.
D. Hilbert’s Hotel is full. Guest X arrives. Guest X has a red hat and all guests in the hotel have no hat. X moves intro room 1 and guest 1 moves out of room 1 simultaneously. X gives guest 1 the red hat. Guest 1 moves into room 2 and guest 2 to moves out of room 2 simultaneously. Guest 1 gives guest 2 the red hat… After an infinite amount of moves taken, ever guest n is in room n+1. X is in a room and all other guests are in a room. There is also no room with a guest, which has the red hat.
C works like D but with a red hat moving from room to room.
What is happening with the red hat? Is it completely unclear, what is happening after an infinite amount of moves taken, with the red hat? If the red hat still exists, then in which room should it be?
For me, Hilbert’s Hotel argument, every guest n moves into room n+1, is as saying E or F:
E. Hilbert’s Hotel is completely empty. Guest X arrives. Guests X moves from room to room, starting by room 1. After an infinite amount of moves taken from X, every room in Hilbert’s Hotel is empty. There is no room where X could be in, every room n is free.
F. There is a hotel with only two rooms. In room 1 there is a „uneven“-sign above the door. In room 2 there is a „even“-sign above the door. Both doors have a counter, counting +2 if a guest moves out (so the room number gets higher each time). Guest X moves into room 1, then moves into room 2, then back into room 3 and so on. After an infinite amount of moves taken by X, there is no even or uneven number, where guest X could be in. Is than the hotel empty and there are no more room numbers above the rooms, because there is no even or uneven number left.
- Note how the phrase „after an infinite amount of moves“ can work for B, C and D? In a physical world we can say after an infinite amount of time, every single guest has moved to room n + 1. Or getting to a non physical world we could say guests have no speed limit for moving . Guest 1 moves in 1 minute, guest 2 in 1/2 minute, guest 3 in 1/4, guest 4 in 1/8 minute and so on. After two minutes every guest n moved from room n to n+1. There are an infinite amount of smaller time periods needed to reach the 2 minutes (if there are an infinite amount of smaller time periods between two time periods). But after 2 minutes, an infinite amount of action happened.
For me Hilbert’s Hotel is an unsolved mathematical topic. What is happening with the red hat, wen guests start to give the hat from one room to another. What is happening, when a guest takes an infinite amount of moves in an empty hotel. If it is not clear, what is happening to this single guest, moving an infinite amount of times in an empty hotel, how can we know what is happening when an infinite amount of guests move from room n to n+1 simultaneously?
Back to Hilbert’s Hotel, every guest n moves into room n+1 simultaneously. Let’s say every guest needs exactly 2 minutes to move. A drone is flying over the moving guests. At the first minute it is flying directly over guest 1 and pointing its laser at the moving guest 1. At the next 30 seconds on guest 2. At the next 15 seconds at guest 3 etc… After 2 minute, the drone would have pointed to each moving guest. There is no guest left, which the drone has not pointed to. But what is happening to the drone after two minutes. Did the drone disappear? How the drone could stop pointing on a guest? The drone would be like the moving guest in an empty Hilbert Hotel. What happens to the guest / drone after two minutes? Would the guest have been disappeared, because there is no possible room the guest could be in?
— Preceding unsigned comment added by TaineMccoy (talk • contribs) 20:45, 30 December 2020 (UTC)
Look, many anti anti set theorists absolutely insists arguments be parallel outside of time, and the axioms of ZFC are conspicuously designed to accommodate that. But I however disagree with many proofs in wikipedia are not included with such proofs. This cancels your argument
Applying Some Ideas to the Paradox
editI'd pay to see an edit that applies what about a number of mathematicians and several video essay creators on YouTube did, which is the diagonal method, in which an infinite number of people arrive, using infinitely-long identities, a list is created, the nth number or letter of the label is circled(leading to a diagonal line), the digits constructing a name, only for each one to be switched out for an entirely different digit, revealing one of the many people that might still be without a room, proving that while the hotel would be full of people from that group of people with infinitely-long names, there would still be an infinite amount of people of the same group missing, thus also proving that there are infinities greater than others. There could be a bigger hotel built that could house them via rooms labeled with both natural numbers and real numbers alike. Just ask YouTube username Hotel Infinity.
And it peeves me seeing people getting rid of my edits, especially if I find good citations that meet Wikipedia's standards. Bruh. -_- What ever happened to common sense?
I'd also pay to see a page dedicated to this theory that a YouTube mathematician created that serves as a "sequel" to Hilbert's paradox, and the arguments people, excluding fame hounds, would make in regards to YouTube username keystone's theory that ought to be well-known among mathematicians the world over. Kaden Bayne Vanciel (talk) 04:19, 18 March 2023 (UTC)
- The first proof you mention is explained at Cantor's diagonal argument. No need to pay! I think you are right that this article needs to explain for that most infinite cardinalities it's not possible to put a set of that size in the Hilbert Hotel. This is something that won't be obvious to the lay reader. As for your final paragraph, I don't know what ideas you're referring to. If they are legitimate mathematical arguments, then they are probably already covered in journal articles and books. If the ideas are only expressed on YouTube, and then only on one channel, then it's dubious that they should be treated as knowledge. MartinPoulter (talk) 16:42, 19 March 2023 (UTC)
- Here's the video: https://www.youtube.com/watch?v=g02KJ4kxldA Kaden Bayne Vanciel (talk) 02:38, 21 March 2023 (UTC)
- Well that was 6 minutes of my life I'm never getting back. Overall, a poor overview with some confused mathematical ideas. Not that it really matters...material should be added based on reliable sources, not some random dude on Youtube. There's already a ton of unsourced, iffy stuff in the article, and if I had the stomach for it, I'd take a machete to it, but I'm not sure that I do. 35.139.154.158 (talk) 02:58, 21 March 2023 (UTC)
- Here's the video: https://www.youtube.com/watch?v=g02KJ4kxldA Kaden Bayne Vanciel (talk) 02:38, 21 March 2023 (UTC)
Deletion of edits
editI'm very new to contributing, so I was hoping for some further clarification on why my edit from March 8 was deleted. The comment from the user who deleted it marked it as non-notable. How is that determined? I added a reference to the principle in a published work of fiction, which feels like a notable reference. Was it because I failed to provide a citation? The Hitchhikers Guide to Existentialism (talk) 15:16, 31 October 2023 (UTC)
- That's...pretty late to bring it up. I can't speak for the person who reverted you (you should ask them specifically), but "notable" refers to topics for articles themselves, not pieces of information within them. Maybe "noteworthy" is a better word here. I agree that it shouldn't be mentioned, which might be confusing given the laundry list already there. But I'd also say the solution is to remove them all, which I've just done, not add more. See WP:IPC, an essay about stuff like this. 35.139.154.158 (talk) 15:49, 31 October 2023 (UTC)
- I wasn't notified it was removed until I opened the article again today. The Hitchhikers Guide to Existentialism (talk) 16:25, 31 October 2023 (UTC)
Title Change
editI suggest that the title of this article should change to "Hilbert's grand hotel paradox" or "Hilbert's hotel paradox". It sticks out like a sore thumb when compared to other pages of paradoxes (e.g. https://en.wiki.x.io/wiki/List_of_paradoxes). I looked into how to change the title and it seems I cannot find this illusive move button or I do not have the permissions. Lucian Chauvin (talk) 04:20, 4 January 2024 (UTC)
- Given that this article has been at this title for many years, I would recommend that you not try to move it unilaterally, even if you have the permissions, as that is supposed to be for "uncontroversial moves" and I predict controversy for this one. You can nominate the article to be moved and try to get consensus. The procedure is explained at WP:RSPM. --Trovatore (talk) 07:14, 4 January 2024 (UTC)
1924 or 1925?
editThe date of January 1924 here is cited to this paper, which is a bit confusing to read. It explicitly says "January 1924" on a couple of occasions including the abstract. However, it later refers to "the winter semester 1924-1925", "A few months later ... on 4 June 1925". It has a section titled "3. January 1925: The birth of Hilbert's hotel" with the comment "This is what Hilbert had to say about his hotel in January 1924". One of those years must be a typo.
I do not have access to the 2013 book of Hilbert's lectures that is cited, but the preview pages seem to support the 1924/25 dates, which would strongly support this being January 1925.
I'll change the article but given the cited paper has the wrong date up-front, thought it best to leave a note here explaining. Andrew Gray (talk) 18:33, 18 January 2024 (UTC)