344
Philosophy rule (lemmy.blahaj.zone)
submitted 1 year ago by RothyBuyak to c/196
you are viewing a single comment's thread
view the rest of the comments
[-] Zuzak@hexbear.net 30 points 1 year ago

Oh, I think there is actually an open room at the hotel but it's all the way in the back. Just keep rolling, you'll find it.

[-] hexaflexagonbear@hexbear.net 29 points 1 year ago

> go to hilbert hotel

> "currently all the rooms are occupied but maybe we can do something for you"

> get placed in the first room

> woken up every 5 mins and asked to move one room over

[-] Anangrierterrarian 5 points 1 year ago

Hah i remember getting asked to solve weird stuff with this hotel like: an infinite number of busses contanining infinite people show up at the hotel. How do you sort everyone by bus number? And stuff like that

[-] hexaflexagonbear@hexbear.net 4 points 1 year ago* (last edited 1 year ago)

Assuming an empty hotel the simplest solution i can think of is placing person k from bus b into room 2^b 3^k

For a filled hotel I'd move everyone from room n to room 5^n first I guess.

[-] Anangrierterrarian 5 points 1 year ago

Our solution was to assign every bus to a prime number. Everyone on each bus would get the new bus number^n room. It broke the rules kinda but the teacher accepted it

[-] hexaflexagonbear@hexbear.net 3 points 1 year ago

Yeah, that's the same basic premise of using the fundamental theorem of arithmetic, I'm not sure of any particular pitfalls that come of it otoh. I'd probably mark it correct if I saw it on an assignment and move on. Though I guess it doesn't generalize as easily.

Idk to where the course went, but ultimately what the argument is getting at is that you can map the rational numbers, or pairs of integers (a,b) into the natural numbers without mapping to the same number twice.

this post was submitted on 18 Aug 2023
344 points (100.0% liked)

196

16408 readers
1839 users here now

Be sure to follow the rule before you head out.

Rule: You must post before you leave.

^other^ ^rules^

founded 1 year ago
MODERATORS