「有限の長さの文字列全て」の中に無限長の文字列は含まれるの？

**風吹けば名無し** · 2022/10/23(日) 00:27:02.95

含まれない？

**風吹けば名無し** · 2022/10/23(日) 00:28:35.93

分からん…

**風吹けば名無し** · 2022/10/23(日) 00:28:43.07

含まれるで
∞―1が含まれるからな

**風吹けば名無し** · 2022/10/23(日) 00:29:16.08

>>3
∞-1は無限じゃないんか…？

**風吹けば名無し** · 2022/10/23(日) 00:29:39.01

無限長の文字列は有限の長さの文字列ではない(進次郎)

**風吹けば名無し** · 2022/10/23(日) 00:29:39.44

分かるやつおらんか

**風吹けば名無し** · 2022/10/23(日) 00:30:00.89

>>5
それはその通りやな…

**風吹けば名無し** · 2022/10/23(日) 00:30:37.97

でも有限といってもどこまでも長くなるやろ？

**風吹けば名無し** · 2022/10/23(日) 00:30:50.69

言ってる意味分かる？

**風吹けば名無し** · 2022/10/23(日) 00:31:27.75

hyper∞(∞,∞)の濃度って可算無限になる？

**風吹けば名無し** · 2022/10/23(日) 00:31:37.14

でも無限では無いからね
有限って言ってる

**風吹けば名無し** · 2022/10/23(日) 00:32:39.77

そもそも有限って何や
どこまでも長くなるのに有限って矛盾しとらんか

**風吹けば名無し** · 2022/10/23(日) 00:33:23.50

混乱は分からんでもないが、長さ100でも1万でも1グラハム数でも、それは無限の長さの文字列ではないんや
「有限の長さの文字列全て」の中から取る限り、いくらでも長いのをとれるけど取れるものはすべて有限長

**風吹けば名無し** · 2022/10/23(日) 00:33:53.88

全てってのがよくわからんな

**風吹けば名無し** · 2022/10/23(日) 00:35:23.97

なんか1個文字列を取るやろ
そんでそれより1個長いやつを取る
これをどこまでも繰り返せる
これは無限じゃないんか？

**風吹けば名無し** · 2022/10/23(日) 00:36:05.69

無限では無いね
なぜなら無限の長さのものは取り出せないからね

**風吹けば名無し** · 2022/10/23(日) 00:36:19.08

取った時点で有限が確定するってことでは

**風吹けば名無し** · 2022/10/23(日) 00:36:54.98

>>15
それは「有限の長さの文字列」が無限個あるという話や

**風吹けば名無し** · 2022/10/23(日) 00:36:58.27

取り出せないってのは現実的な話で概念の話とは別じゃん

**風吹けば名無し** · 2022/10/23(日) 00:38:03.72

取り出せた時点で無限の概念から外れるやん

**風吹けば名無し** · 2022/10/23(日) 00:38:51.47

>>18
無限個あると言うことは無限長の文字列があるという事じゃ…？
"a"だけから構成される文字列を考えてくれ
a,aa,aaa,…って感じや
これが無限個あったら後ろの方は無限長やろ

**風吹けば名無し** · 2022/10/23(日) 00:40:41.43

いや、含まれないって意見も分からんではないんや
でも含まれる説も含まれない説もどっちも筋が通ってしまうんよ

**風吹けば名無し** · 2022/10/23(日) 00:41:58.26

有限の長さの文字列は有限個じゃないの

**風吹けば名無し** · 2022/10/23(日) 00:42:32.33

>>23
それはない

**風吹けば名無し** · 2022/10/23(日) 00:42:45.19

>>21
そんなもんを想定するとして、少なくともそいつは「有限の長さの文字列全て」の中には入ってないやろ
構成する場合、無限回aを足す手続きは行えないから無限長にたどり着く方法がない

**風吹けば名無し** · 2022/10/23(日) 00:42:49.56

>>24
なんで

**風吹けば名無し** · 2022/10/23(日) 00:43:01.10

>>21
文字列は無限に長くなるけど常に有限の長さを取ると思うよ

**風吹けば名無し** · 2022/10/23(日) 00:43:32.36

>>21
「有限の長さの文字列」って自分で言ってるのになんでaaa...の無限個バージョンが存在するねん
設定の矛盾やろ

**風吹けば名無し** · 2022/10/23(日) 00:43:56.85

>>25
よう分からんけどa,aa,aaa…はどれも有限長やろ

**風吹けば名無し** · 2022/10/23(日) 00:44:36.40

>>29
そうわよ

**風吹けば名無し** · 2022/10/23(日) 00:44:38.86

>>26
なんでって
文字列はいくらでもあるし

**風吹けば名無し** · 2022/10/23(日) 00:45:08.20

言葉遊び楽しい？ｗ
馬鹿に見えるよ

**風吹けば名無し** · 2022/10/23(日) 00:45:21.73

>>30
じゃあa,aa,…は「有限長の文字列全て」に入ってる事になるじゃん

**風吹けば名無し** · 2022/10/23(日) 00:45:41.87

>>33
なるわよ

**風吹けば名無し** · 2022/10/23(日) 00:45:50.90

無限ではない最大長Nが無限って言ってるようなもんやんけ

**風吹けば名無し** · 2022/10/23(日) 00:45:52.45

>>32
馬鹿はおまえ

**風吹けば名無し** · 2022/10/23(日) 00:46:01.43

>>31
自然数だって無限に存在するけど桁数は有限しか取らんやん

**風吹けば名無し** · 2022/10/23(日) 00:46:28.35

>>34
そんなら無限長の文字列は「有限長の文字列全て」に入っとるんか？

**風吹けば名無し** · 2022/10/23(日) 00:47:11.12

>>38
そこが飛躍や。どうやって無限長にたどり着いたんや

**風吹けば名無し** · 2022/10/23(日) 00:49:04.95

>>39
a,aa,…は無限個ある
ということはこの並びの後ろの方を見れば無限長になるんよ

**風吹けば名無し** · 2022/10/23(日) 00:49:49.91

>>40
後ろの方を見るというのはどういう手続きよ

**風吹けば名無し** · 2022/10/23(日) 00:50:37.44

>>41
手続きっていうか
単なる概念や
そもそも「有限長の文字列全て」を取ってくる手続きも無いやろ

**風吹けば名無し** · 2022/10/23(日) 00:52:16.83

>>42
冪集合取るのがそれに当たるんじゃないかな、知らんけど

**風吹けば名無し** · 2022/10/23(日) 00:52:59.79

なんて読むんやそれ

**風吹けば名無し** · 2022/10/23(日) 00:53:47.22

円城のSREでも読んだんか？

**風吹けば名無し** · 2022/10/23(日) 00:54:28.08

>>42
手続きは言葉が悪かったな。要は後ろの方を見る、というのが何をすることなのかが問題なんや
その操作(極限を取るとか)をしても「有限の長さ」からはみ出さないと思ってるところが間違いやねん

**風吹けば名無し** · 2022/10/23(日) 00:54:29.51

なんか読んだわけじゃないで
考え出したら訳分からんくなっただけや

**風吹けば名無し** · 2022/10/23(日) 00:55:39.69

確かSREで全く同じ話されてたわ

**風吹けば名無し** · 2022/10/23(日) 00:55:59.65

>>44
べきしゅうごう
可算無限の冪集合を取ると非可算無限になる
可算無限ってのは自然数全体の集合みたいなやつで非可算無限ってのは実数全体の集合みたいなやつ

**風吹けば名無し** · 2022/10/23(日) 00:56:13.61

>>46
有限からはみ出すって事は無限になるんやろ
っつー事はa,aa,…の中に無限長の文字列が含まれてると考えられないか？

**風吹けば名無し** · 2022/10/23(日) 00:56:50.32

>>48
ほーん
面白そうな小説やな

**風吹けば名無し** · 2022/10/23(日) 00:58:04.08

>>49
はえー
有限長の文字列を集める操作がべき集合にあたるんか

**風吹けば名無し** · 2022/10/23(日) 00:58:16.81

スレタイと全く同じ文章出て来てた希ガス
そもそもなんでそんなこと考えだしたんや

**風吹けば名無し** · 2022/10/23(日) 00:58:31.11

この前確率でやってたやろ
コインの裏表で

**風吹けば名無し** · 2022/10/23(日) 00:59:28.58

文字の並べ方のパターンを網羅したらワイらのレスも出てくるんやろな…とか思ってたら思いついたわ

**風吹けば名無し** · 2022/10/23(日) 01:00:07.02

すべての実数から完全ランダムにある数を選ぶとき連続して２回同じものが出る確率は（1/∞)²なんか？

**風吹けば名無し** · 2022/10/23(日) 01:00:08.13

定義に入ってないんだから含まれんやろ

**風吹けば名無し** · 2022/10/23(日) 01:00:12.54

有限って言うことは最大長があるってことで文字列全てっていうのは既に最大長が定まらない無限ってことやろ
その時点で矛盾してるんと違うか？

**風吹けば名無し** · 2022/10/23(日) 01:00:21.36

>>54
何の話や

**風吹けば名無し** · 2022/10/23(日) 01:00:49.10

全てって何？有限の長さの文字列を無限個持ってきたいってこと？

**風吹けば名無し** · 2022/10/23(日) 01:01:22.79

>>57
それも一理ある