不完全性定理を理解してる者やけど質問ある?
■ このスレッドは過去ログ倉庫に格納されています
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 ラッセルとの関係は
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 「何もしないほうが得」消極的な日本人が増える背景 “自ら行動しない態度”が広がっている [おっさん友の会★]
- 川口クルド人男、同居女性殴り逮捕 難民申請5回目不認定 大野知事から感謝状も [おっさん友の会★]
- 石破首相 10万円商品券→国会で猛反論「選挙頑張ろうね話も政治活動と言われたら、天気かプロ野球の話しかできない」 [どどん★]
- 【野球】MLB開幕戦『ドジャースvsカブス』 視聴率は31・2%! 瞬間最高は35・7%を記録 ★3 [冬月記者★]
- ガザ空爆は「始まりにすぎない」 ネタニヤフ氏 [首都圏の虎★]
- 米・トランプ大統領が「すばらしい! サムライだ!」と絶賛した日本人、"安倍晋三" [おっさん友の会★]
- 【悲報】斎藤元彦陣営のネット広報担当会社が投稿したnoteで騒然★579 [931948549]
- 【悲報】高橋洋一「財務省職員は悪くないとか言っているやつはアホ、キャリアは官僚の分際を超えて政治介入してくる」 [733893279]
- 【悲報】石破「森友文書を開示する」👉突然石破叩きが苛烈になるwwwwwwwwwwwwwwwwwwwwwwwww [804382496]
- 【動画】アサクリシャドウズ問題が国会審議。石破茂「泣き寝入りしない、日本国民として許さない。フランスと外交できない」怒り表明 [485187932]
- 森友文書、4月に2000ページ開示へ。石破「事実2000ページ、 [196352351]
- インスタントコーヒーをマシに飲む方法