不完全性定理を理解してる者やけど質問ある？

[1 それでも動く名無し 2022/09/19(月) 20:21:43.66 ID:L9C/mB19M]

ないか？

[28 それでも動く名無し 2022/09/19(月) 20:35:52.84 ID:L9C/mB19M]

>>21
ω矛盾とは、任意のnについてF(n)が証明できてかつ~∀xF(x)が証明できること
そうでないのがω無矛盾
具体的にはペアノ算術でええか

[29 それでも動く名無し 2022/09/19(月) 20:36:00.67 ID:l9mdl/1q0]

笑わない数学でやって欲しいよな

[30 それでも動く名無し 2022/09/19(月) 20:36:09.71 ID:L9C/mB19M]

>>23
それもおおいに関係あり

[31 それでも動く名無し 2022/09/19(月) 20:36:40.92 ID:L9C/mB19M]

>>26
晩年は生きる気力がなかったらしい

[32 それでも動く名無し 2022/09/19(月) 20:36:41.40 ID:640IxEum0]

可算無限と非加算無限の中間はあるんか？

[33 それでも動く名無し 2022/09/19(月) 20:36:48.89 ID:L9C/mB19M]

>>27
おもろいで

[34 それでも動く名無し 2022/09/19(月) 20:37:11.13 ID:L9C/mB19M]

>>29
せやね

[35 それでも動く名無し 2022/09/19(月) 20:37:17.07 ID:RmTnVTAO0]

NP困難は？

[36 それでも動く名無し 2022/09/19(月) 20:37:23.30 ID:Rlwg6oJW0]

それにもしお前の言う任意の公理系全てで不完全性が成立するならその不完全性の完全性を結論させなくちゃいけんのやで
それこそ自己言及的に不完全性は完全性を持ち得ないんやで

[37 それでも動く名無し 2022/09/19(月) 20:37:38.68 ID:L9C/mB19M]

>>32
答えはないんだ

[38 それでも動く名無し 2022/09/19(月) 20:38:29.33 ID:L9C/mB19M]

>>24
せやね
あとあくまで「無矛盾ならば不完全」であって不完全ではないとかね

[39 それでも動く名無し アドセンスクリックお願いします 2022/09/19(月) 20:38:39.72 ID:3Wtqe4ou0]

短時間フーリエ変換のなんかでなかったっけ
時間と周波数のなんかで

[40 それでも動く名無し 2022/09/19(月) 20:38:45.85 ID:L9C/mB19M]

>>35
NP困難もちょっとはわかる

[41 それでも動く名無し 2022/09/19(月) 20:39:18.77 ID:L9C/mB19M]

>>36
？すまんわからん

[42 それでも動く名無し 2022/09/19(月) 20:39:24.47 ID:5AclO21c0]

>>22
サンガツ
チューリングマシンとは何の関係や

[43 それでも動く名無し 2022/09/19(月) 20:39:28.48 ID:L9C/mB19M]

>>39
それはちょっとわからん

[44 それでも動く名無し 2022/09/19(月) 20:41:58.18 ID:JvJF8MSK0]

ラッセルとの関係は