ベリーのパラドックスがよくわからん

1 ：以下、？ちゃんねるからVIPがお送りします：2021/07/17(土) 03:11:36.998 ID:bAlb73yf0.net

「19文字以内で記述できない最小の自然数」という文（この文の文字数は19個）を考える。自然数は可算無限に存在する一方で、日本語19文字で行える記述は有限通り（文字の種類の19乗）であるから、日本語19文字で表現できない自然数は必ず存在する。つまり、「19文字以内で記述できない最小の自然数」という文章は明確にある自然数を一意に定義している。しかしながら、実際に「19文字以内で記述できない最小の自然数」を求めてみると、「19文字以内で記述できない最小の自然数」であるにも関わらず、「19文字以内で記述できない最小の自然数」という19文字で表現が可能であり、「19文字以内で記述できない最小の自然数」という定義に合致しない。


その最小の自然数を(勝手に)「19文字以内で記述できない最小の自然数」っておいたとしたらほら記述できるじゃんってことなの？

2 ：以下、？ちゃんねるからVIPがお送りします：2021/07/17(土) 03:16:08.272 ID:FOFHtGjQ0.net

全能のパラドックスみたいな奴？

3 ：ロジカル・ラグナロク ：2021/07/17(土) 03:18:33.209 ID:e3ycYgyHr.net

>>1
勝手にじゃなくて「19文字以内で記述できない最小の自然数」という言葉でその数を特定する記述ができちゃってますよねということ

4 ：以下、？ちゃんねるからVIPがお送りします：2021/07/17(土) 03:24:26.724 ID:bAlb73yf0.net

>>3
これってそもそも文字列を自然数に対応させてるわけだよね？そうしたら「19文字以内で記述できない最小の自然数」という文字列にも対応した自然数があるわけで、それは19文字以内じゃん
単なる文字列として認識してきたのに急に文字列を意味として捉えちゃってもいいの？

5 ：以下、？ちゃんねるからVIPがお送りします：2021/07/17(土) 03:26:35.534 ID:hMMYRGY/0.net

よく分からんけどただの屁理屈だろ

6 ：以下、？ちゃんねるからVIPがお送りします：2021/07/17(土) 03:32:47.945 ID:9PLxrapha.net

その数字が自分自身になるってことだろ
自己なんちゃらのパラドックスじゃねーの

7 ：以下、？ちゃんねるからVIPがお送りします：2021/07/17(土) 03:40:46.873 ID:bAlb73yf0.net

「19文字以内で記述できない最小の自然数」を日本語の意味としてそのまま捉えるんだったら矛盾してるけど、今は文字列=自然数で考えてるわけじゃん
なのに急に日本語の意味で考えちゃうのはどうなの

8 ：以下、？ちゃんねるからVIPがお送りします：2021/07/17(土) 03:41:45.230 ID:bAlb73yf0.net

バカだからそもそもこの考え自体が間違ってんのか？

9 ：以下、？ちゃんねるからVIPがお送りします：2021/07/17(土) 03:47:58.479 ID:9PLxrapha.net

日本語の意味も自然数も文字数で数えていいぞ
その上で矛盾するのはなぜか考えろ

10 ：以下、？ちゃんねるからVIPがお送りします：2021/07/17(土) 03:49:27.501 ID:9PLxrapha.net

例えば2のことを1+1=とおいたら四文字になるとかもあり

11 ：以下、？ちゃんねるからVIPがお送りします：2021/07/17(土) 03:57:29.510 ID:+Sk/XBtT0.net

「19文字以内で記述できない最小の自然数」←お前19文字で記述できてんじゃん
って話だろ

12 ：以下、？ちゃんねるからVIPがお送りします：2021/07/17(土) 03:58:02.806 ID:bAlb73yf0.net

19文字以内で記述できない最小の自然数 = ○○(これは20文字以上)
○○っていうのは必ず存在するわけだけどそれと同値な「19文字以内で記述できない最小の自然数」は19文字以内になっちゃってるってことか？

13 ：以下、？ちゃんねるからVIPがお送りします：2021/07/17(土) 04:00:00.192 ID:bAlb73yf0.net

なんか変に難しく考えすぎてたわ
最初見た時はすぐ理解できたんだけど、なんか違和感感じて吹いた深く考えたら沼にはまってたわ

14 ：以下、？ちゃんねるからVIPがお送りします：2021/07/17(土) 04:00:52.190 ID:EYTh+v4j0.net

「この文はウソである」のちょっと豪華なバージョンにみえる