I love traveling and am approaching two \u201cbucket list\u201d items: visiting all 50 states and all 7 continents. But hands down, one of my most interesting bucket list destinations is Hilbert\u2019s Hotel. Unfortunately, this hotel doesn\u2019t exist, but many of you will recognize that Hilbert used his \u201chotel\u201d to demonstrate the connection to the infinite. Some philosophers use Hilbert\u2019s Hotel to argue that actual infinities cannot exist in the physical world because basic arithmetic operations involving infinities lead to \u201cabsurdities.\u201d However, I think the story is more complicated and I\u2019ll argue that we can\u2019t reject actual infinities based on this understanding of Hilbert\u2019s Hotel. <\/p>\n\n\n\n
Hilbert\u2019s Hotel and \u201cAbsurdities\u201d<\/strong> If we were to put this experiment in equation form, we could write these equations describing the addition of infinite quantities (where a<\/em>, b<\/em>, and c<\/em> are finite and \u221e<\/em><\/em> represents an infinite quantity):<\/p>\n\n\n\n However, some \u201cabsurdities\u201d arise when groups start leaving. If a finite group of 5 checks out, the hotel still has an infinite number of rooms filled. But consider what happens when two different infinite groups leave the hotel. Having the infinite group in all rooms greater than 5 check out leaves only 5 rooms filled. Alternatively, when the infinite group of all even numbers checks out, the hotel has an infinite number of odd rooms filled. In equation form (paralleling the addition equations above), this gives:<\/p>\n\n\n\n The last two equations are contradictory! You can\u2019t subtract one value from another value and get two different results. Thus, many people have used this contradiction to argue that actual infinities cannot exist in the physical world. However, mathematicians recognized this dilemma and solved the issue by noting that subtraction is not a well-defined operation for infinites. Lest this strike you as defining the problem away, you encounter a similar solution for a much more familiar mathematical idea. Let me illustrate with an interesting proof: <\/p>\n\n\n\n A More Familiar Absurdity<\/strong> Clearly, the notion that 2 equals 1 is contradictory so something must be wrong. But what is wrong? It turns out that something we all take for granted causes the problem\u2014namely the mathematical concept of zero. In the \u201creduce equation to simplest form\u201d step, we are dividing each side by the quantity (a \u2013 b<\/em>). However, since a = b <\/em>this step entails dividing by zero. Everyone who went through elementary school knows that you can\u2019t divide by zero because mathematicians demonstrated that division is not a well-defined operation for zero. Notice that multiplication by zero works properly, but division by zero results in an undefined quantity. Stated another way in simple mathematical terms, division by zero is not single-valued because when you divide by zero, you can get any number. It is precisely this problem that leads to the contradiction that 2 = 1 and why division by zero is left undefined (or not an acceptable operation). <\/p>\n\n\n\n Comparing \u201cZero\u201d and \u201cInfinity\u201d<\/strong> 1. For zero, multiplying it by any number (including zero) leaves it unchanged. For infinity, adding any value (even infinity) leaves it unchanged. <\/p>\n\n\n\n 2. For zero, multiplication is well-defined but not division. For infinity, addition is well-defined but not subtraction. <\/p>\n\n\n\n 3. Dividing by zero leads to absurdities. Subtracting infinities leads to absurdities. <\/p>\n\n\n\n No one I know would say that basic arithmetic operations with zero lead to absurdities. Therefore, actual zeros can\u2019t exist in the physical world. Yet, many people use that same basic argument to claim that actual infinities can\u2019t exist in the real world. <\/p>\n\n\n\n On a personal note, when I studied infinities for a class in high school (yes, I\u2019m that odd) and came across the bizarre features of Hilbert\u2019s Hotel, my first thought was amazement at how differently infinite quantities behaved compared to finite quantities. Later reflections drew me into a deeper understanding of how an infinite God interacts with his amazing creation. One question that still fills my thoughts is whether God could have created a spatially infinite universe. If actual infinites can\u2019t exist, then the answer is \u201cno.\u201d However, none of the arguments against actual infinites have yet to persuade me that they can\u2019t exist. I realize that Hilbert\u2019s Hotel and its consequences are not the only reason that people claim actual infinities don\u2019t exist and will try to address those concerns in other articles. However, unless we\u2019re willing to reject the physical existence of \u201cactual zeros,\u201d we can\u2019t use the absurdities of Hilbert\u2019s Hotel to claim that \u201cactual infinities\u201d don\u2019t exist.<\/p>\n","protected":false},"excerpt":{"rendered":" Explore the intriguing concept of actual infinities via Hilbert’s Hotel and why their ‘absurdities’ don’t refute their existence.<\/p>\n","protected":false},"author":536,"featured_media":354283,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_person_authors":[],"_kad_blocks_custom_css":"","_kad_blocks_head_custom_js":"","_kad_blocks_body_custom_js":"","_kad_blocks_footer_custom_js":"","footnotes":"","_classifai_error":"","_classifai_text_to_speech_error":"","_classifai_text_to_speech_scheduled":false},"categories":[64012],"tags":[67553,70471,71054],"discipline":[64109],"reading-level":[64149],"class_list":["post-354187","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-logic-reason","tag-creation","tag-e-coli","tag-creation-vs-evolution","discipline-math","reading-level-advanced-deep-dive"],"acf":[],"yoast_head":"\n
The German mathematician David Hilbert developed a thought experiment to articulate various aspects of infinite sets. His hotel has an unlimited number of rooms labeled 1, 2, 3, and so on, and every room is occupied. Then, different groups of guests arrive and request rooms. The first counterintuitive aspect of infinities arises when you realize that the hotel can accommodate any number of guests, even though every room is full. If a group needing 3 rooms arrives, the owner simply instructs everyone in the hotel to move to the room with a number three larger than their current room. Everyone can move, and this leaves rooms 1, 2, and 3 open to accommodate the group needing three rooms. Even if an infinite group arrives, the owner instructs everyone to move to the room twice their current room number so that the infinite number of odd rooms are now unoccupied. Though counterintuitive, it makes sense since the number of rooms has no upper limit. <\/p>\n\n\n\na + b = c<\/em><\/td><\/tr> \u221e + a = \u221e<\/em><\/td><\/tr> \u221e + \u221e = \u221e<\/em><\/td><\/tr><\/tbody><\/table><\/figure>\n<\/div>\n\n\n\n a – b = c<\/em><\/td> Just like addition above<\/td><\/tr> \u221e – a = \u221e<\/td> OK so far<\/td><\/tr> \u221e – \u221e = 5<\/em><\/td> First infinite group leaving<\/td><\/tr> \u221e – \u221e = \u221e<\/em><\/td> Second infinite group leaving<\/td><\/tr><\/tbody><\/table><\/figure>\n<\/div>\n\n\n\n
For every a<\/em> (that is not equal to zero), there exists a b<\/em> (not equal to zero) such that:<\/p>\n\n\n\na<\/em><\/td> = b<\/em><\/td> <\/td><\/tr> a<\/em>2<\/sup><\/td> = ab<\/em><\/td> Multiply both sides of the equation by the same value <\/td><\/tr> a<\/em>2<\/sup>\u00a0– b<\/em>2<\/sup><\/td> = ab – b<\/em>2<\/sup><\/td> Subtract the same value from both sides of the equation<\/td><\/tr> (a\u2013b<\/em>)(a+b<\/em>)<\/td> =\u00a0b<\/em>(a\u2013b<\/em>)<\/td> Factor each side of the equation<\/td><\/tr> a + b<\/em><\/td> = b<\/em><\/td> Reduce equation to simplest form<\/td><\/tr> b + b<\/em><\/td> = b<\/em><\/td> Since a = b, replace a with b<\/td><\/tr> 2b<\/em><\/td> = b<\/em><\/td> Simplify<\/td><\/tr> 2<\/td> = 1<\/td> Since b<\/em> does not equal zero, we can divide it out <\/td><\/tr><\/tbody><\/table><\/figure>\n<\/div>\n\n\n\n
Notice these parallels between zero and infinity. <\/p>\n\n\n\n