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

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

含まれない？

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

>>46
打ち切らないならそれは無限だよね
有限の長さの文字列ではない

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

>>47
いや有限やろ
a,aa,…の個々の文字列は有限やからOKや

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

>>50
こういう事や>>51

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

>>51
すまんが言葉遊びならワイはもうやめるぞ

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

>>53
思考停止しないでくれ😅
これは言葉遊びやないで

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

>>49
無限を含まない整数という集合を定義できるかいう話のバリエーションやね
ひとの否定をいくらでもし続けられる

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

>>55
あーなるほど
それやね、整数は無限に続くけど無限は整数に含まれるか？と言い換えられるわ

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

任意の要素がそれぞれ有限の長さを持つんだから含まれるわけねーだろ
逆に無限の長さを持つ要素がどこにあんだよ

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

せやけど、数学の世界では結論があるんとちゃうの？

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

そもそも「有限長の文字列の集合」が存在しないってことちゃう

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

>>57
>15や>36を読んでくれ

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

今日の日付変わってから3本ぐらいスレ立てて
何人も証明してるのに受け入れないガイジ>>1を何とか納得させるスレ

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

>>59
それ言ったら数学の「整数の集合」もアウトやろ

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

>>61
正しくないから納得しないんだろ

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

多分こいつは無限をなんか勘違いしてるな
国語的な無限で数学の定義的な無限を理解しようとするとよくわからなくなるのは分かるけど

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

無限長の文字列ある前提で考えてるやん
概念的に考えれば有限長しかない

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

>>63
そうや、ワイは正しい説明が欲しいだけなんや

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

>>64
勘違いの原因が知りたいわ

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

>>59
文字列長の最大値を明示的に与えればできるんやけどそれに「整数の無限性」を暗に滑り込ませるから自己矛盾しとるんやね

**風吹けば名無し** · 2022/10/23(日) 13:02:06.14

>>65
実際的に無限は無いけど概念の中ではあるやろ

**風吹けば名無し** · 2022/10/23(日) 13:02:58.67

無限に大きい有限の数Nという自己矛盾や

**風吹けば名無し** · 2022/10/23(日) 13:03:31.81

3 ↑↑↑ 3
= 3 ↑↑ {3 ↑↑↑ 2}
= 3 ↑↑ {3 ↑↑ (3 个个↑ 1)} = 3 11 (3 11 3}
= 3 ↑↑ {7625597484987}
= 3 ↑ {3 11 7625597484986}
= 3 ↑ [3 ↑ {3 11 7625597484985}}
= 31 {31 {3 ↑ {3 11 7625597484984}}}
= 3 ↑ [3 ↑ {3 ↑ {3 ↑ (3 11 7625597484983}) 31 (3
= 3 ↑ {31 {3 ↑ [3 ↑ {3 ↑ {3 11 76255974849
= 3 ↑ [3 ↑ {3 ↑ [3 ↑ (3 ↑ (3 ↑ {3 ↑↑ 762559 = 31 {3 ↑ {3 ↑ [3 ↑ [3 ↑ [3 ↑ [3 ↑ [3 11 76
= 31 {3 ↑ {3 ↑ {3 ↑ (3 ↑ (3 ↑ {3 ↑ {3 ↑ (3 (3
= 31 {31 {3 ↑ {3 ↑ (3 ↑ (3 ↑ [3 ↑ {3 ↑ (3
= …

**風吹けば名無し** · 2022/10/23(日) 13:04:11.72

>>70
整数って矛盾しとったんけ…？🙄

**風吹けば名無し** · 2022/10/23(日) 13:05:48.00

>>15
全て
a [aの桁数から先頭と末尾を除いたもの] a
って記述できる有限数やろ、なんでこれに桁数無限が出てくるんや

**風吹けば名無し** · 2022/10/23(日) 13:06:38.43

>>73
いやだからその桁数はどこまでも大きく出来るやん

**風吹けば名無し** · 2022/10/23(日) 13:06:55.09

集合自体に含まれる要素がどれだけ増えようと（それこそ無限大に）
個々の要素はあくまで有限の長さの文字列なんだから
含まれる、含まれないといえば含まれないだろ

いくらでも大きい長さの文字列もありえるということと
無限大（長）の文字列だということは別問題なのでは

**風吹けば名無し** · 2022/10/23(日) 13:07:38.79

>>74
どこまでも大きくなる＝無限って考えはどういうことや

**風吹けば名無し** · 2022/10/23(日) 13:08:41.52

>>75
a
aa
aaa
…
という集合は要素の数が無限大になれば文字列長も比例して無限になるんやが…？

**風吹けば名無し** · 2022/10/23(日) 13:08:54.26

長さ無限大の文字列という日本語の文法的にしか成り立っていないものを持ち出すからだろ

**風吹けば名無し** · 2022/10/23(日) 13:09:29.57

そんなPV稼げるんかこの話題

**風吹けば名無し** · 2022/10/23(日) 13:09:37.79

>>76
桁数1,2,3,…,(無限に続く)
こういう事やで

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

>>78
それは違うと思うで
例えば円周率は無限に続く数字の列やろ？

**風吹けば名無し** · 2022/10/23(日) 13:11:19.86

>>77
でもそれぞれは有限の長さの文字列なんだろ（そういう前提だから）

**風吹けば名無し** · 2022/10/23(日) 13:11:22.14

>>77
そら実数みたいに要素を無限に取れる集合を数えてったら範囲さえあれば無限大になるやろ

**風吹けば名無し** · 2022/10/23(日) 13:11:28.82

そんなことよりワイが考えた算数の難問解いてみてや

たかし君は1,2,3,4,...という数達(自然数)を次の条件を満たす、いくつか(有限個)のグループに分けたいと思いました。

・それぞれのグループは「ある数からいくつか飛ばしごとの数達」の集まり
例: 5から3つ飛ばしごとの数達
→5,8,11,14,...

・飛ばす数は1ではなく、グループごとで全て異なる

・複数のグループに入る数はない

しかし、たかし君のしようとしていることはどう頑張っても出来ません
それはなぜでしょう？

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

>>81
でもそれって証明されてないんちゃう

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

>>81
数は文字列じゃないから筋違いや

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

>>84
Aから

**風吹けば名無し** · 2022/10/23(日) 13:14:26.99

>>84
ディリクレの算術級数定理やな
こんなん小学生でも知っとるんやが…

**風吹けば名無し** · 2022/10/23(日) 13:14:59.21

集合Aに元xが含まれる
とは
x∈Aが成り立つこと

A:={ x | xの字数は有限}
として
あるy∈A
yの長さ無限とすると矛盾

**風吹けば名無し** · 2022/10/23(日) 13:15:06.88

無限長の文字列があったら「有限の長さの文字列全て」じゃないやん

**風吹けば名無し** · 2022/10/23(日) 13:15:55.88

>>82
出発点はそうだったけど無限長にはなってるやろ実際

**風吹けば名無し** · 2022/10/23(日) 13:15:59.59

>>88
全然違うで
それはaとbが互いに素ならan+b型素数が無限にあるって主張やで

全く関係ないで

**風吹けば名無し** · 2022/10/23(日) 13:16:35.89

>>85
証明はされとるんちゃう？
ワイでも知ってる事実やし

**風吹けば名無し** · 2022/10/23(日) 13:16:51.44

>>15
それはaaa...の文字列が無限個あるってだけてaaa...はどれも有限やろ

**風吹けば名無し** · 2022/10/23(日) 13:17:21.01

>>84
AからB飛ばし
（A＋１）から（B－１）飛ばし
例えば２から３飛ばし、３から２飛ばし
これでそれぞれのグループの２つめが必ず被る

それともある数ってのは固定なのかな？

**風吹けば名無し** · 2022/10/23(日) 13:18:01.92

>>48
「含む」の数学的な定義を言え

**風吹けば名無し** · 2022/10/23(日) 13:18:47.11

>>89
それは分かるで
「含まれない」派の主張は筋が通ってると思う
だけど「含まれる」説も筋が通っててこっちが否定出来ないんよ

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

>>95
それは被る例もあるってだけ

どんな分け方でも被ることを示さないとですね

ある数ってのはタカシ君が自由に選べる

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

>>90
そうやけど、いざ列挙してみようと考えると無限まで行くんよ

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

>>93
「有限の長さの文字列全て」って言ってる仮定で全てが集団の全要素ってことやから
文字列が飛び飛びの値を取ってる集合ならどれだけ数が多くても有限なんちゃう