ヒルベルトの無限ホテルのパラドックス
男が無限ホテルに泊まろうとしたが無限ホテルには無限の客室に無限の客が泊まっていて満室だった
男は全ての客に隣の部屋に移ってもらうようホテルマンに言ってもらい無事、一部屋の空きがでた
無限個の客室があり、「満室」である仮想的なホテルを考える。客室数が有限の場合、「満室であること」と「新たに来た客を泊められないこと」は同値だが(鳩の巣原理)、無限ホテルではそうはならない。
天才数学者「無限の客室に無限の客が泊まっていて満室でも全ての客が隣の部屋に移れば一部屋空く」
■ このスレッドは過去ログ倉庫に格納されています
1それでも動く名無し
2022/08/28(日) 20:26:24.33ID:NXF4PNpO0350それでも動く名無し
2022/08/28(日) 21:30:09.74ID:TTXQWzYWM すまん、若干スレ違いかもしれんが分かる人いたら教えて欲しい
チューリングマシンって浮動点小数とかやなくてホンマモンの実数を扱うことってできる?
チューリングマシンでは無理でハイパーコンピューター的なのが必要な気がするんやけど
チューリングマシンって浮動点小数とかやなくてホンマモンの実数を扱うことってできる?
チューリングマシンでは無理でハイパーコンピューター的なのが必要な気がするんやけど
351それでも動く名無し
2022/08/28(日) 21:30:28.38ID:3FkfSu+20 >>344
はえー分かりやすい
はえー分かりやすい
352それでも動く名無し
2022/08/28(日) 21:30:32.84ID:sdpiIo/Z0 高校の時に聞いた偶数と整数の数は同じってのいまだに納得してへんわ
無限はようわからん
無限はようわからん
353それでも動く名無し
2022/08/28(日) 21:30:35.86ID:1VMoQO9Lp ゼロホテルに泊まろうとしたがゼロホテルにゼロの客が泊まってて満室だった〜
354それでも動く名無し
2022/08/28(日) 21:30:36.06ID:yZ7Im1Pz0355それでも動く名無し
2022/08/28(日) 21:30:49.84ID:ClsIWEDR0 そもそも基数と順序数と極限を区別できてなきゃ無限ホテルのパラドックスは理解できん
なんGなんJ嫌儲VIPどこでも同じ話ばっか
なんGなんJ嫌儲VIPどこでも同じ話ばっか
356それでも動く名無し
2022/08/28(日) 21:30:50.15ID:yzKrr4Eva357それでも動く名無し
2022/08/28(日) 21:31:05.60ID:Kw3c+tPf0 理屈はわかるけどこれが何の役に立つんだよ
358それでも動く名無し
2022/08/28(日) 21:31:11.02ID:yzKrr4Eva >>352
濃度ってやつやね
濃度ってやつやね
359それでも動く名無し
2022/08/28(日) 21:31:29.37ID:Kqb83g/i0360それでも動く名無し
2022/08/28(日) 21:31:50.10ID:3FkfSu+20362それでも動く名無し
2022/08/28(日) 21:32:05.85ID:ClsIWEDR0 >>350
実数に収束する有理数列って扱いでならチューリングマシンでもできる
実数に収束する有理数列って扱いでならチューリングマシンでもできる
363それでも動く名無し
2022/08/28(日) 21:32:33.88ID:0PbMUjUv0 >>343
線分持ってきてもそれは無限個の点からできてるといえるから終わりと始まりがあってもいいぞ
線分持ってきてもそれは無限個の点からできてるといえるから終わりと始まりがあってもいいぞ
364それでも動く名無し
2022/08/28(日) 21:32:37.80ID:Fi0demut0 客は無限にいるんだから全員が隣に移動してもできたはずの空き室にはなぜかもう客がいるやろ
365それでも動く名無し
2022/08/28(日) 21:32:42.79ID:3FkfSu+20 >>361
チューリングマシンは仮想的なもんやし
チューリングマシンは仮想的なもんやし
367それでも動く名無し
2022/08/28(日) 21:32:46.51ID:yZ7Im1Pz0 >>348
あー…たしかにそういう事も可能なんか
全貌を認識出来なければ端があっても構わないと
てか無限の定義って論理的に人間に数えられない数って感じなんかね
前提から完全に理解するのは不可能感があるわ
あー…たしかにそういう事も可能なんか
全貌を認識出来なければ端があっても構わないと
てか無限の定義って論理的に人間に数えられない数って感じなんかね
前提から完全に理解するのは不可能感があるわ
368それでも動く名無し
2022/08/28(日) 21:33:00.00ID:yr8sl5pX0 >>243
行列あったけど(笑)
行列あったけど(笑)
369それでも動く名無し
2022/08/28(日) 21:33:07.85ID:9rBEsejE0 そもそも無限ホテルと無限客なら自分も客になった時点で無限の一員じゃないのか?
なんでそんな1人だけハブかれなアカンねんワイも無限側に入れてや
なんでそんな1人だけハブかれなアカンねんワイも無限側に入れてや
370それでも動く名無し
2022/08/28(日) 21:33:18.87ID:b4/Gerb00 ガイジかな?
371それでも動く名無し
2022/08/28(日) 21:33:24.85ID:NLC6Kb9w0 ただの言葉遊び
372それでも動く名無し
2022/08/28(日) 21:33:43.53ID:x89QcVmJ0 ガイジの考え
373それでも動く名無し
2022/08/28(日) 21:33:52.31ID:ClsIWEDR0 >>361
計算可能性理論では時間とか領域みたいな制限は考えない
計算可能性理論では時間とか領域みたいな制限は考えない
374それでも動く名無し
2022/08/28(日) 21:33:53.01ID:eVX0z6SRa >>352
一対一対応がつくかどうか
一対一対応がつくかどうか
375それでも動く名無し
2022/08/28(日) 21:33:55.14ID:ZIhmEIvA0 これはじめて見たとき感動したわ
377それでも動く名無し
2022/08/28(日) 21:34:12.96ID:k1H9C3Ap0 >>341
∞←穴2つもある良心的なホテルで草
∞←穴2つもある良心的なホテルで草
378それでも動く名無し
2022/08/28(日) 21:34:28.66ID:ADxCGh/h0379それでも動く名無し
2022/08/28(日) 21:34:48.55ID:8WUtoeG70 1番端の部屋に泊まってた奴だけ隣にさっきまで存在してなかった新品の部屋使えてるけどいいんすかこれ
380それでも動く名無し
2022/08/28(日) 21:34:59.40ID:XK1Cfe2d0381それでも動く名無し
2022/08/28(日) 21:35:11.36ID:sgrsxCU+0 なんで男なんですか?女性はホテルに泊まってはいけないのですか?女性差別です
382それでも動く名無し
2022/08/28(日) 21:35:12.25ID:Gq3mQ7nEa 例えが下手やと思う
素直に考えると
ホテル「満室です」
客「ほなら皆隣の部屋に移ってもらったらどや?」
ホテル「なるほど!」
客「いや移れる部屋があるなら空いてるやんけ(パチーン)」
てならんのか?
素直に考えると
ホテル「満室です」
客「ほなら皆隣の部屋に移ってもらったらどや?」
ホテル「なるほど!」
客「いや移れる部屋があるなら空いてるやんけ(パチーン)」
てならんのか?
383それでも動く名無し
2022/08/28(日) 21:35:16.73ID:imNDqtx70384それでも動く名無し
2022/08/28(日) 21:35:27.52ID:JOtSK91J0 数学者って言葉苦手民なん?
386それでも動く名無し
2022/08/28(日) 21:35:47.64ID:J24tpXNq0 >>379
無限個部屋があるから一番端の部屋なんてものは存在しないぞ
無限個部屋があるから一番端の部屋なんてものは存在しないぞ
387それでも動く名無し
2022/08/28(日) 21:36:11.13ID:sdpiIo/Z0388それでも動く名無し
2022/08/28(日) 21:36:20.59ID:YwFo5PSV0 この発言でいくら稼いでるんやろ
389それでも動く名無し
2022/08/28(日) 21:36:29.90ID:7s9sqlRc0 ようわからんけど部屋数は可変なんか
390それでも動く名無し
2022/08/28(日) 21:36:32.54ID:yZ7Im1Pz0 でも両端があって構わないならホテルの件もありえそうよな
ワイは終わりがないから「満ちる」事は無いって言ったけど終わりが明確なら出来なくも無さそう
その代わり目に見えて"端"からはみ出る客が出てくるけどよくわからんわ
ワイは終わりがないから「満ちる」事は無いって言ったけど終わりが明確なら出来なくも無さそう
その代わり目に見えて"端"からはみ出る客が出てくるけどよくわからんわ
391それでも動く名無し
2022/08/28(日) 21:36:36.85ID:8yVAC9LT0 >>367
無限集合の定義はいろいろありえるけど、ホテルのパラドックスみたいに「ある真部分集合から自分自身への一対一対応がある」って定義することもできるで
端っことかは単なる無限・有限よりも複雑な概念やな
無限集合の定義はいろいろありえるけど、ホテルのパラドックスみたいに「ある真部分集合から自分自身への一対一対応がある」って定義することもできるで
端っことかは単なる無限・有限よりも複雑な概念やな
392それでも動く名無し
2022/08/28(日) 21:37:03.45ID:J24tpXNq0 >>382
いや空いてるやんけってなるからパラドックスって言われるとるやんけ
いや空いてるやんけってなるからパラドックスって言われるとるやんけ
393それでも動く名無し
2022/08/28(日) 21:37:12.90ID:eVX0z6SRa >>367
加算集合は数えられるといいつつ無限集合や
加算集合は数えられるといいつつ無限集合や
394それでも動く名無し
2022/08/28(日) 21:37:24.58ID:UODB/UN10 何度か書いてるんだけど
結局「n号室の人がn+1号室に移ることをすると、nをいくら大きくしても常にn+1には先客がいるので
移ってもらうことはできない」という結論にしないのは必然性があるんか?
無限の作業の中に逃げ込むのはアキレスと亀の論理と変わらないのでは
結局「n号室の人がn+1号室に移ることをすると、nをいくら大きくしても常にn+1には先客がいるので
移ってもらうことはできない」という結論にしないのは必然性があるんか?
無限の作業の中に逃げ込むのはアキレスと亀の論理と変わらないのでは
395それでも動く名無し
2022/08/28(日) 21:37:40.90ID:eVX0z6SRa >>391
ガリレオのパラドックスやな
ガリレオのパラドックスやな
396それでも動く名無し
2022/08/28(日) 21:38:19.93ID:v5spAUaB0397それでも動く名無し
2022/08/28(日) 21:38:33.71ID:ylJWLfRra >>394
同時に出て同時に新しい部屋に入ればええやろ
同時に出て同時に新しい部屋に入ればええやろ
398それでも動く名無し
2022/08/28(日) 21:38:43.89ID:w1hB12IV0 無限+1って無限として扱われるん?
なら無限+無限=無限?
なら無限+無限=無限?
399それでも動く名無し
2022/08/28(日) 21:38:50.84ID:3FkfSu+20400それでも動く名無し
2022/08/28(日) 21:38:53.50ID:wy/Injbga401それでも動く名無し
2022/08/28(日) 21:39:02.56ID:I8ISqrhe0 1人移動してもらえば大丈夫じゃね?
402それでも動く名無し
2022/08/28(日) 21:39:05.51ID:yZ7Im1Pz0 >>391
なんというかワイが今言っただけでも「片端の見えた無限」と「両端の見えた無限」、「両端の見えない無限」とか色々ありそうやけど同じ無限として区別しなくてもええんか?
それとも厳密には区別があるんか?
なんというかワイが今言っただけでも「片端の見えた無限」と「両端の見えた無限」、「両端の見えない無限」とか色々ありそうやけど同じ無限として区別しなくてもええんか?
それとも厳密には区別があるんか?
403それでも動く名無し
2022/08/28(日) 21:39:18.88ID:MbgaizDKM 無限の概念って難しいよな
どこかでそういうもんかって割り切らな先に進めんかったわ
ガチの頭がいい人たちの考えはわからん
どこかでそういうもんかって割り切らな先に進めんかったわ
ガチの頭がいい人たちの考えはわからん
405それでも動く名無し
2022/08/28(日) 21:40:07.11ID:yHkH28EC0 ケンモウのパクリアフィ
【悲報】天才数学者「無限の客室に無限の客が泊まっていて全ての客に隣の部屋に移ってもらったら一部屋空きがでた」 これ意味わかるか?
https://greta.5ch.net/test/read.cgi/poverty/1661678509/
【悲報】天才数学者「無限の客室に無限の客が泊まっていて全ての客に隣の部屋に移ってもらったら一部屋空きがでた」 これ意味わかるか?
https://greta.5ch.net/test/read.cgi/poverty/1661678509/
406それでも動く名無し
2022/08/28(日) 21:40:30.86ID:XK1Cfe2d0407それでも動く名無し
2022/08/28(日) 21:40:54.02ID:c+h/tcCn0 もしかして条件収束する数列の和の順番をあれこれいじってもOKなのも無限の濃度が同じだからか?
408それでも動く名無し
2022/08/28(日) 21:40:57.08ID:5ar+S7ZKa 無限って偶数でも奇数でもないわけじゃん?
でも1に1づつ無限に加えて出来るのは偶数と奇数の数列じゃん?
これが偶数でも奇数でもなくなるのはなんでなの?
でも1に1づつ無限に加えて出来るのは偶数と奇数の数列じゃん?
これが偶数でも奇数でもなくなるのはなんでなの?
409それでも動く名無し
2022/08/28(日) 21:41:04.42ID:UODB/UN10410それでも動く名無し
2022/08/28(日) 21:41:05.01ID:0PbMUjUv0411それでも動く名無し
2022/08/28(日) 21:41:24.14ID:zHQ1Ju0g0 だから無限って言うのか
412それでも動く名無し
2022/08/28(日) 21:41:34.41ID:HSgA4f9na 無限の上限が変わりえるってこと?
413それでも動く名無し
2022/08/28(日) 21:41:38.43ID:l0ly/j18a 満室やないから
無限ホテルという例えがセンスない
無限ホテルという例えがセンスない
414それでも動く名無し
2022/08/28(日) 21:41:43.18ID:ADxCGh/h0415それでも動く名無し
2022/08/28(日) 21:41:44.61ID:8yVAC9LT0 >>394
この話は無限集合の間の写像をうまく取り直すよって話を現実に例えてるだけだから、その作業にどれだけ時間がかかるみたいなこととは関係ない
自然数を1つずつ1足していくのは終わらない作業だけど、関数としてはf(n)=n+1ってのが定義できるやん
この話は無限集合の間の写像をうまく取り直すよって話を現実に例えてるだけだから、その作業にどれだけ時間がかかるみたいなこととは関係ない
自然数を1つずつ1足していくのは終わらない作業だけど、関数としてはf(n)=n+1ってのが定義できるやん
416それでも動く名無し
2022/08/28(日) 21:41:55.22ID:3FkfSu+20 なおむげんポケモンのむげんは夢幻の模様
417それでも動く名無し
2022/08/28(日) 21:42:20.10ID:QzUNT1YQ0 どのタイミング切り取っても一人だけ部屋を移動させられてるバカがおるだけやろ
418それでも動く名無し
2022/08/28(日) 21:42:42.39ID:Yq9iYNb4M 既存客が無限じゃないじゃん
419それでも動く名無し
2022/08/28(日) 21:42:54.21ID:OB4e4Ek8H 元々無限だったのが男が現れて数が無限から無限+1に定義され直した
ほんで客室も一つ空きが出て泊まれたって思ったから隣に移る云々はよく分からん
ほんで客室も一つ空きが出て泊まれたって思ったから隣に移る云々はよく分からん
420それでも動く名無し
2022/08/28(日) 21:42:57.49ID:O+B0CUg60 >>13
一部屋隣に移るだけならええけど、2倍の部屋に移るのはキツい客がいるやろ
一部屋隣に移るだけならええけど、2倍の部屋に移るのはキツい客がいるやろ
421それでも動く名無し
2022/08/28(日) 21:42:58.72ID:HSgA4f9na 無限の客が既に居てるなら客はそれ以上増える事ないんちゃうの?
増えたら無限やなくならんか?
増えたら無限やなくならんか?
422それでも動く名無し
2022/08/28(日) 21:43:14.73ID:ClsIWEDR0 無限は順番と個数で概念が異なる
アキレスと亀は極限だからまた違う話
その辺区別しないと混乱の元になるで
アキレスと亀は極限だからまた違う話
その辺区別しないと混乱の元になるで
423それでも動く名無し
2022/08/28(日) 21:43:24.23ID:ylJWLfRra >>409
そこはどっちでもええところやな
そこはどっちでもええところやな
425それでも動く名無し
2022/08/28(日) 21:44:31.28ID:yZ7Im1Pz0 もしかして人間が発見した無限って両手で数えるくらいしかパターンないんとちゃうの?
有理数と自然数が同じような無限みたいに大体分別したらそれぐらいに収まってそう🙄
有理数と自然数が同じような無限みたいに大体分別したらそれぐらいに収まってそう🙄
426それでも動く名無し
2022/08/28(日) 21:44:46.24ID:eVX0z6SRa427それでも動く名無し
2022/08/28(日) 21:44:49.09ID:sdpiIo/Z0 >>396
それ最初の式と同じことしか言ってないと思っていい?
それ最初の式と同じことしか言ってないと思っていい?
428それでも動く名無し
2022/08/28(日) 21:45:08.54ID:Pds10lpId このホテルのベッドメイキング大変そう😥
429それでも動く名無し
2022/08/28(日) 21:45:18.04ID:8yVAC9LT0 >>402
一口に無限といっても、集合として無限だったり順序集合として無限だったり、まあいろいろな段階があるんよ
たとえばNとZは集合としてはおなじ無限と思っていいけど、順序まで考えるとNは最小の数があるけどZにはないから異なるものや
どのレベルの粒度で区別するかで話は変わってくるから、そこ明確にしないと議論できない
一口に無限といっても、集合として無限だったり順序集合として無限だったり、まあいろいろな段階があるんよ
たとえばNとZは集合としてはおなじ無限と思っていいけど、順序まで考えるとNは最小の数があるけどZにはないから異なるものや
どのレベルの粒度で区別するかで話は変わってくるから、そこ明確にしないと議論できない
431それでも動く名無し
2022/08/28(日) 21:45:26.81ID:UODB/UN10 >>415
正直なところ、「いったん全員に出てもらって、改めて入室させたらあら不思議1人増やしても入れました」って方が納得いく
+1号室に移るといわれると、それはどこまでいっても次の部屋に逃げられるから問題が発覚しないだけという疑惑が消えない
正直なところ、「いったん全員に出てもらって、改めて入室させたらあら不思議1人増やしても入れました」って方が納得いく
+1号室に移るといわれると、それはどこまでいっても次の部屋に逃げられるから問題が発覚しないだけという疑惑が消えない
432それでも動く名無し
2022/08/28(日) 21:45:41.27ID:XK1Cfe2d0433それでも動く名無し
2022/08/28(日) 21:45:44.22ID:yMk5xk2i0 無限の部屋
無限の客
上段と下段の「無限」は必ずしも一致しないし、一定の値でもないってこと?
ただの言葉遊びやん
無限の客
上段と下段の「無限」は必ずしも一致しないし、一定の値でもないってこと?
ただの言葉遊びやん
434それでも動く名無し
2022/08/28(日) 21:45:49.31ID:sJ9OwaFl0 >>428
ホテルマンも無限人おるから余裕やで
ホテルマンも無限人おるから余裕やで
435それでも動く名無し
2022/08/28(日) 21:46:27.95ID:ClsIWEDR0436それでも動く名無し
2022/08/28(日) 21:47:06.64ID:3v7ft50m0 例え話ガイジの末路
437それでも動く名無し
2022/08/28(日) 21:47:34.53ID:p7Aqoktp0 無限ってなんやろね?
438それでも動く名無し
2022/08/28(日) 21:47:34.55ID:Pds10lpId >>434
その給与計算が大変そう😥
その給与計算が大変そう😥
439それでも動く名無し
2022/08/28(日) 21:47:35.24ID:v5spAUaB0440それでも動く名無し
2022/08/28(日) 21:47:51.54ID:8yVAC9LT0 >>431
まあそこは厳密な数学の主張をどう現実に翻訳するかって部分だからな
数学的な主張をわかってれば、どこの部分がどう翻訳されてるかわかるから違和感ないんやけど、先に現実に落とされた主張をみるとツッコミどころが目立つのかもな
まあそこは厳密な数学の主張をどう現実に翻訳するかって部分だからな
数学的な主張をわかってれば、どこの部分がどう翻訳されてるかわかるから違和感ないんやけど、先に現実に落とされた主張をみるとツッコミどころが目立つのかもな
442それでも動く名無し
2022/08/28(日) 21:48:38.11ID:eVX0z6SRa443それでも動く名無し
2022/08/28(日) 21:48:50.54ID:fTdS6hn+a わかりやすく例え話をしようとして分かりにくくしている典型だな
444それでも動く名無し
2022/08/28(日) 21:49:08.35ID:J24tpXNq0 >>400
ここでの満室を「〇〇号室は空いているか」という質問に対して〇〇にどんな自然数入れても(つまり全ての部屋で)「〇〇号室は空いていない」という答えが帰ってくる状態と定義すると前置きしたらどうや。
これを満室と定義することに異議を唱える人おる?
ここでの満室を「〇〇号室は空いているか」という質問に対して〇〇にどんな自然数入れても(つまり全ての部屋で)「〇〇号室は空いていない」という答えが帰ってくる状態と定義すると前置きしたらどうや。
これを満室と定義することに異議を唱える人おる?
445それでも動く名無し
2022/08/28(日) 21:49:55.50ID:0PbMUjUv0 いわゆる冪集合やね
無限は無限に濃度を上げることができるのも証明されとる
無限は無限に濃度を上げることができるのも証明されとる
446それでも動く名無し
2022/08/28(日) 21:49:57.83ID:UjhfUoiY0 ∞+1=∞になってる時点で計算も何もあったもんやないやろ
447それでも動く名無し
2022/08/28(日) 21:50:02.41ID:Db6a5i7Xa 今のネットってこういう話すら通じなくなってるのホンマに今後世の中大丈夫かなって心配になっちゃう
448それでも動く名無し
2022/08/28(日) 21:50:07.92ID:7XmDqQ8j0 >>394
例えばホテルの部屋を増設して新しい部屋の番号を設定するにあたって
「0から作ったから1号室」やな「0から作った1号室から新たに作ったから2号室やな」「0,1号室,2号室の2部屋があるから次は3号室やな」って言う風に再帰的に順番に定義していくわけよ
部屋の数を数えずに「128号室の次やから129号室やな」みたいにしてもし途中で番号飛ばしてたりして部屋数と部屋番合わんかったら管理がたいへんやん?
「部屋は一つ一つ増設していく」「既にある部屋の数を数えて新部屋の番号をつける」ってルールでやっていけば「n号室を増設するときはホテルにはn-1個の部屋がある」ってことになるわけやん?
ここでもし「ホテルに既に∞個の部屋があってあらゆる自然数の名前が使われてしまったとき新たにホテルを拡張して部屋を増設するとしたらなんていう名前の番号をつけるか」が問題になるんや
例えばホテルの部屋を増設して新しい部屋の番号を設定するにあたって
「0から作ったから1号室」やな「0から作った1号室から新たに作ったから2号室やな」「0,1号室,2号室の2部屋があるから次は3号室やな」って言う風に再帰的に順番に定義していくわけよ
部屋の数を数えずに「128号室の次やから129号室やな」みたいにしてもし途中で番号飛ばしてたりして部屋数と部屋番合わんかったら管理がたいへんやん?
「部屋は一つ一つ増設していく」「既にある部屋の数を数えて新部屋の番号をつける」ってルールでやっていけば「n号室を増設するときはホテルにはn-1個の部屋がある」ってことになるわけやん?
ここでもし「ホテルに既に∞個の部屋があってあらゆる自然数の名前が使われてしまったとき新たにホテルを拡張して部屋を増設するとしたらなんていう名前の番号をつけるか」が問題になるんや
449それでも動く名無し
2022/08/28(日) 21:50:21.37ID:Tm0Y/kHz0 数学者がバカを弄って遊んでるだけ定期
■ このスレッドは過去ログ倉庫に格納されています