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

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

ないか？

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

ゲーデルの不完全性定理

[0003 それでも動く名無し 2022/09/19(月) 20:22:19.62 ID:JvJF8MSK0]

論理

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

>>3
せやで

[0005 それでも動く名無し 2022/09/19(月) 20:22:47.66 ID:ML+0Tx9u0]

不完全性定理とは何かわかりやすく説明してくれ

[0006 それでも動く名無し 2022/09/19(月) 20:22:51.95 ID:Qj5om1cR0]

英単語の覚え方

[0007 それでも動く名無し 2022/09/19(月) 20:23:05.80 ID:hDybYfYFp]

完全性定理は？

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

>>5
証明できない命題がある、みたいな感じや

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

>>6
それはわからん

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

>>7
完全性定理でもええで

[0011 それでも動く名無し 2022/09/19(月) 20:24:24.75 ID:Mutav1O30]

不確定性原理🥺

[0012 それでも動く名無し 2022/09/19(月) 20:24:37.99 ID:CMC41+B10]

数学とか論理学とか人間の学問では
ぜったいに解けない問題が存在するみたいな話だっけ

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

>>11
それは量子力学や
不完全性定理は論理学

[0014 それでも動く名無し 2022/09/19(月) 20:25:37.07 ID:Qj5om1cR0]

そうか
じゃあ好きな哲学者は？デカルトとか好きそうやが

[0015 それでも動く名無し 2022/09/19(月) 20:25:37.22 ID:CMC41+B10]

数学とか論理学では地震の完全性を絶対に証明できない
みたいな話だった気もする

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

>>27
おもろいで

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

>>29
せやね

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

NP困難は？

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

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

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

>>32
答えはないんだ

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

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

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

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

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

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

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

>>36
？すまんわからん

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

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

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

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

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

ラッセルとの関係は