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

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

ないか？

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

>>12
絶対にとまでは言わんけどそんな感じや

[17 それでも動く名無し 2022/09/19(月) 20:26:04.64 ID:5AclO21c0]

これの内容はなんとなく知ってるがどんな影響があって何故有名なんや

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

>>14
フッサールとか好きやな

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

>>15
第一不完全性定理と第二不完全性定理とあって第二不完全性定理は自身の無矛盾性を証明できないって話や

[20 それでも動く名無し 2022/09/19(月) 20:28:04.52 ID:4VvmPED3a]

不完全性定理はその後の科学技術の発展にどのような影響を与えたんや？

[21 それでも動く名無し 2022/09/19(月) 20:29:42.51 ID:VuMmwZ/9a]

ω無矛盾性の定義と具体的にどういう算術を含む体系に適用できるか説明してくれや

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

>>17
二十世紀初めは数学の基盤を論理学によって固めようという風潮があったんや
不完全性定理はそれがほぼ不可能だということを示したから重要なんや
あと不完全性定理の証明に自己言及パラドクスが使われててそれも人を惹きつけるみたいやな

[23 それでも動く名無し 2022/09/19(月) 20:30:14.63 ID:MxK4et2K0]

チューリングマシン的なやつか

[24 それでも動く名無し 2022/09/19(月) 20:30:21.02 ID:Rlwg6oJW0]

>>16
ある公理系においてのみ証明されてるだけであって全ての物事に不完全性が確定したわけじゃ無いやろ
不完全性定理を言及する時恣意的にそこを省いて科学の不完全性があたかも既に証明されたって声高に言う奴多すぎや無い？

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

>>20
不完全性定理の証明に使われてる手法はプログラミングとかの起源やで

[26 それでも動く名無し 2022/09/19(月) 20:32:51.09 ID:3pzpFTTV0]

ゲーデルに自殺願望があったってマジ？

[27 それでも動く名無し 2022/09/19(月) 20:34:26.01 ID:aezIjYv/a]

記号論理学の授業取るべき？

[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]

ラッセルとの関係は