探検
不完全性定理を理解してる者やけど質問ある?
■ このスレッドは過去ログ倉庫に格納されています
1それでも動く名無し
2022/09/19(月) 20:21:43.66ID:L9C/mB19M ないか?
2それでも動く名無し
2022/09/19(月) 20:22:01.67ID:L9C/mB19M ゲーデルの不完全性定理
3それでも動く名無し
2022/09/19(月) 20:22:19.62ID:JvJF8MSK0 論理
4それでも動く名無し
2022/09/19(月) 20:22:33.48ID:L9C/mB19M >>3
せやで
せやで
2022/09/19(月) 20:22:47.66ID:ML+0Tx9u0
不完全性定理とは何かわかりやすく説明してくれ
6それでも動く名無し
2022/09/19(月) 20:22:51.95ID:Qj5om1cR0 英単語の覚え方
7それでも動く名無し
2022/09/19(月) 20:23:05.80ID:hDybYfYFp 完全性定理は?
8それでも動く名無し
2022/09/19(月) 20:23:34.40ID:L9C/mB19M >>5
証明できない命題がある、みたいな感じや
証明できない命題がある、みたいな感じや
9それでも動く名無し
2022/09/19(月) 20:23:43.33ID:L9C/mB19M >>6
それはわからん
それはわからん
10それでも動く名無し
2022/09/19(月) 20:23:53.86ID:L9C/mB19M >>7
完全性定理でもええで
完全性定理でもええで
11それでも動く名無し
2022/09/19(月) 20:24:24.75ID:Mutav1O30 不確定性原理🥺
12それでも動く名無し
2022/09/19(月) 20:24:37.99ID:CMC41+B10 数学とか論理学とか人間の学問では
ぜったいに解けない問題が存在するみたいな話だっけ
ぜったいに解けない問題が存在するみたいな話だっけ
13それでも動く名無し
2022/09/19(月) 20:25:23.98ID:L9C/mB19M14それでも動く名無し
2022/09/19(月) 20:25:37.07ID:Qj5om1cR0 そうか
じゃあ好きな哲学者は?デカルトとか好きそうやが
じゃあ好きな哲学者は?デカルトとか好きそうやが
15それでも動く名無し
2022/09/19(月) 20:25:37.22ID:CMC41+B10 数学とか論理学では地震の完全性を絶対に証明できない
みたいな話だった気もする
みたいな話だった気もする
16それでも動く名無し
2022/09/19(月) 20:25:37.22ID:L9C/mB19M >>12
絶対にとまでは言わんけどそんな感じや
絶対にとまでは言わんけどそんな感じや
17それでも動く名無し
2022/09/19(月) 20:26:04.64ID:5AclO21c0 これの内容はなんとなく知ってるがどんな影響があって何故有名なんや
18それでも動く名無し
2022/09/19(月) 20:26:47.05ID:L9C/mB19M >>14
フッサールとか好きやな
フッサールとか好きやな
19それでも動く名無し
2022/09/19(月) 20:27:55.66ID:L9C/mB19M >>15
第一不完全性定理と第二不完全性定理とあって第二不完全性定理は自身の無矛盾性を証明できないって話や
第一不完全性定理と第二不完全性定理とあって第二不完全性定理は自身の無矛盾性を証明できないって話や
20それでも動く名無し
2022/09/19(月) 20:28:04.52ID:4VvmPED3a 不完全性定理はその後の科学技術の発展にどのような影響を与えたんや?
21それでも動く名無し
2022/09/19(月) 20:29:42.51ID:VuMmwZ/9a ω無矛盾性の定義と具体的にどういう算術を含む体系に適用できるか説明してくれや
22それでも動く名無し
2022/09/19(月) 20:29:45.02ID:L9C/mB19M >>17
二十世紀初めは数学の基盤を論理学によって固めようという風潮があったんや
不完全性定理はそれがほぼ不可能だということを示したから重要なんや
あと不完全性定理の証明に自己言及パラドクスが使われててそれも人を惹きつけるみたいやな
二十世紀初めは数学の基盤を論理学によって固めようという風潮があったんや
不完全性定理はそれがほぼ不可能だということを示したから重要なんや
あと不完全性定理の証明に自己言及パラドクスが使われててそれも人を惹きつけるみたいやな
2022/09/19(月) 20:30:14.63ID:MxK4et2K0
チューリングマシン的なやつか
24それでも動く名無し
2022/09/19(月) 20:30:21.02ID:Rlwg6oJW0 >>16
ある公理系においてのみ証明されてるだけであって全ての物事に不完全性が確定したわけじゃ無いやろ
不完全性定理を言及する時恣意的にそこを省いて科学の不完全性があたかも既に証明されたって声高に言う奴多すぎや無い?
ある公理系においてのみ証明されてるだけであって全ての物事に不完全性が確定したわけじゃ無いやろ
不完全性定理を言及する時恣意的にそこを省いて科学の不完全性があたかも既に証明されたって声高に言う奴多すぎや無い?
25それでも動く名無し
2022/09/19(月) 20:32:02.88ID:L9C/mB19M >>20
不完全性定理の証明に使われてる手法はプログラミングとかの起源やで
不完全性定理の証明に使われてる手法はプログラミングとかの起源やで
26それでも動く名無し
2022/09/19(月) 20:32:51.09ID:3pzpFTTV0 ゲーデルに自殺願望があったってマジ?
27それでも動く名無し
2022/09/19(月) 20:34:26.01ID:aezIjYv/a 記号論理学の授業取るべき?
28それでも動く名無し
2022/09/19(月) 20:35:52.84ID:L9C/mB19M29それでも動く名無し
2022/09/19(月) 20:36:00.67ID:l9mdl/1q0 笑わない数学でやって欲しいよな
30それでも動く名無し
2022/09/19(月) 20:36:09.71ID:L9C/mB19M >>23
それもおおいに関係あり
それもおおいに関係あり
31それでも動く名無し
2022/09/19(月) 20:36:40.92ID:L9C/mB19M >>26
晩年は生きる気力がなかったらしい
晩年は生きる気力がなかったらしい
32それでも動く名無し
2022/09/19(月) 20:36:41.40ID:640IxEum0 可算無限と非加算無限の中間はあるんか?
33それでも動く名無し
2022/09/19(月) 20:36:48.89ID:L9C/mB19M >>27
おもろいで
おもろいで
34それでも動く名無し
2022/09/19(月) 20:37:11.13ID:L9C/mB19M >>29
せやね
せやね
35それでも動く名無し
2022/09/19(月) 20:37:17.07ID:RmTnVTAO0 NP困難は?
36それでも動く名無し
2022/09/19(月) 20:37:23.30ID:Rlwg6oJW0 それにもしお前の言う任意の公理系全てで不完全性が成立するならその不完全性の完全性を結論させなくちゃいけんのやで
それこそ自己言及的に不完全性は完全性を持ち得ないんやで
それこそ自己言及的に不完全性は完全性を持ち得ないんやで
37それでも動く名無し
2022/09/19(月) 20:37:38.68ID:L9C/mB19M >>32
答えはないんだ
答えはないんだ
38それでも動く名無し
2022/09/19(月) 20:38:29.33ID:L9C/mB19M2022/09/19(月) 20:38:39.72ID:3Wtqe4ou0
短時間フーリエ変換のなんかでなかったっけ
時間と周波数のなんかで
時間と周波数のなんかで
40それでも動く名無し
2022/09/19(月) 20:38:45.85ID:L9C/mB19M >>35
NP困難もちょっとはわかる
NP困難もちょっとはわかる
41それでも動く名無し
2022/09/19(月) 20:39:18.77ID:L9C/mB19M >>36
?すまんわからん
?すまんわからん
42それでも動く名無し
2022/09/19(月) 20:39:24.47ID:5AclO21c043それでも動く名無し
2022/09/19(月) 20:39:28.48ID:L9C/mB19M >>39
それはちょっとわからん
それはちょっとわからん
44それでも動く名無し
2022/09/19(月) 20:41:58.18ID:JvJF8MSK0 ラッセルとの関係は
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【自民党】「10万円商品券」配布問題で石破首相の窮地に勢いづく高市早苗“一派”「この苦境をガラッと変えられるのは彼女だけだ」 ★2 [樽悶★]
- 【MLB】 ドジャース 4-1 カブス [3/18] ドジャース開幕戦勝利 山本5回1失点、大谷マルチH カブス今永4回無失点も… [鉄チーズ烏★]
- 【れいわ】山本代表「自民党だけ?うらやましいぞ」「みんなに配れ10万円♪」「消費税とっとと下げろ」「米よこせ」「野菜が高いぞ♪」 [樽悶★]
- イスラエル、ガザ空爆再開 200人死亡 「ハマスが停戦案拒否」★2 [香味焙煎★]
- 「日本人はマナーが悪くなったのか?」メジャー開幕戦での“レーザーポインター”による妨害に批判殺到 [王子★]
- GACKT 金を貸す際の流儀告白「貸すよりくれてやれ。ボクはそうしてる。それが出来ないならするな」「たとえ、親友でも親でも夫婦でも」 [muffin★]