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

**風吹けば名無し** · 2022/10/23(日) 12:19:03.63

含まれない？

**風吹けば名無し** · 2022/10/23(日) 12:19:55.26

含まれる可能性はかなり高い…が、万が一ということもあるかもしれんな

**風吹けば名無し** · 2022/10/23(日) 12:20:27.94

含まれてたらそれ有限の長さの文字列の集合ちゃうやん

**風吹けば名無し** · 2022/10/23(日) 12:20:32.70

真面目にこたえろ

**風吹けば名無し** · 2022/10/23(日) 12:21:24.36

全ての有限文字列になんらかの順番をつけて結合していくってこと？
そうでもないなら含まれるわけない

**風吹けば名無し** · 2022/10/23(日) 12:21:25.34

>>3
でもよく考えてくれ

**風吹けば名無し** · 2022/10/23(日) 12:21:52.48

>>5
結合ってなんや
結合はしないで

**風吹けば名無し** · 2022/10/23(日) 12:22:37.88

有限の文字列の集合のどの要素取り出しても長さは有限やん
なんで勝手に無限長が湧くねん

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

例えばこの世の文字が"a"のみの場合を考えてくれ
このとき「有限長の文字列」とは？
a
aa
aaa
aaaa
…
こういう事やろ？
これが延々と続くねん

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

>>8
こういう事や(>>9)

**風吹けば名無し** · 2022/10/23(日) 12:24:56.89

http://hissi.org/read.php/livejupiter/20221023/VzZhZjZJY1gw.html
何回立てるんや？

「有限の長さの文字列全て」の中に無限長の文字列は含まれるの？【最終】
https://eagle.5ch.net/test/read.cgi/livejupiter/1666460209/

このスレで誰にも相手にされなくて自分で結論書いてたやん

**風吹けば名無し** · 2022/10/23(日) 12:26:10.82

誰か教えてくれ

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

含まれない

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

有限長の文字列が無限個あるだけでその中に無限長は1つもないってことちゃうか

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

a
aa
aaa
…
って無限に続くから最後の方を考えるとaaa…は無限長になるんよ

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

>>13
なんでや…

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

>>14
ガイジが何回も立ててるゴミスレで真面目な話するなよ
君が数学得意なのは分かったからさw

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

それよりも
1+2+3+…+∞
2+4+6+…+∞
どっちが大きいのか気になる

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

>>18
無限に大小比較とか出来るんかな

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

>>15
最後？

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

>>20
最後ってのは言葉の綾や
本当は最後なんてないけど分かるやろ？

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

>>19
どっちも無限なんだから一緒なんやろうけど
なんかその結論だと人類の論理力の限界に負けてる気がするわ

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

>>22
まぁ感覚からいったら後者の方が2倍程度にはデカいけども

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

それよりスレタイについて考えてくれ

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

誰も分からんのけ？🙄

**風吹けば名無し** · 2022/10/23(日) 12:37:06.98

どう考えたらいいんや

**風吹けば名無し** · 2022/10/23(日) 12:39:57.09

>>18
こっちのほうが確かに気になるわ🦀

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

よそ見すんな😡👊

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

含まれないって言ってんだろ
何回スレ立てれば気が済むんや

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

>>29
なんで含まれないんや

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

有限列の集合Fってのは{s|∃n,len(s)<=n}
tが無限列とは∀n,len(t)>n
t∈Fとすると以下の2つが同時に成り立つことになる
∃n,len(t)<=n
∀n,len(t)>n
これは互いに否定になってるから同時には成り立たず矛盾
よって含まれない

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

>>30
有限より無限の方がデカイから
デカイものが小さいものに内包される訳ない

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

有限と無限の境目とかないのに「全ての有限長の文字列」って表現するのがおかしいんちゃうの

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

自然数に大小関係が定義されとるのが理由やね

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

>>31
もっと分かりやすく説明してや🥺

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

>>32
有限の方が小さいのは分かる
でも有限を列挙してくと無限に行き着くんよ
a
aa
aaa
…
こういう要領や

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

卒論か何か書いてる？

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

>>33
境目って無いんか？

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

>>36
有限を列挙しても無限には行き着けません
有限はいくら重ねても有限です

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

無限って結局数えるのめんどくさいからやめたってことやろ？

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

>>37
ワイはまだ学部3年生や😤

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

>>37
自然数とか集合が好きでひとに議論ふっかけて遊びたいだけの只のアホや

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

無い
その集合から何取り出しても必ずその長さより大きな整数Nをとれる

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

>>38
ないやろ知らんけど

**風吹けば名無し** · 2022/10/23(日) 12:48:37.64

∞＝∞+1
ってしてもいいんだっけ？

**風吹けば名無し** · 2022/10/23(日) 12:48:56.35

>>39
いや行き着くやろ
a,aa,aaa…という列をどっかで打ち切ったらそれは「全て」とちゃうやん

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

>>46
じゃあ有限じゃないやん
矛盾してるで

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

>>43
「取り出す」んじゃなくて「含まれる」か「含まれない」かやで？

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

>>42
ああ…何となくそう思った。悪魔の証明で良くない？居ないものは証明出来ないって感じ