[過去ログ] 基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね? (645レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
19: 2024/05/17(金)17:14:15.86 ID:I4xxpoEn(3/5) AAS
>>17 その文章は私も読んだ
ゲーデルの論文がノイマン型コンピュータにいかほど影響を与えたかは定かではないが
ノイマンがゲーデルの不完全性定理の意義を初期の段階から見出していたことは明らかである
63: 2024/05/23(木)06:38:43.86 ID:57Sqch+C(28/218) AAS
>>61
実験と論理式が一致してれば正しいんだよ低学歴wmmwwww
166(1): 2024/05/23(木)08:45:52.86 ID:57Sqch+C(113/218) AAS
>>164
怠けて低学歴無職になったクズの言い訳wwwwwmww
自殺しろ中卒無職(中卒と言っても不登校ニートで中学校の授業を受けてないお情け卒業証書だから知能が小学校低学年レベル)wwwwww
174: 2024/05/23(木)08:52:02.86 ID:57Sqch+C(119/218) AAS
>>172
ちなみにゲーデルはゲーデルの第一不完全性定理の意味を正しく理解できてませんwwww
なぜならあらゆる思考も物理現象も>>31-44のように形式化されゲーデルの第一不完全性定理が適用可能なことをゲーデル自身は知らなかったからw
175: 2024/05/23(木)08:52:15.86 ID:57Sqch+C(120/218) AAS
>>172
様相論理が条件付き確率で形式化できることなどカルナップも指摘してるけど
ゲーデルはこんなの何にも知らなかったからねwwwmmmmw
外部リンク[pdf]:repository.kulib.kyoto-u.ac.jp
236: 2024/05/23(木)14:16:45.86 ID:57Sqch+C(157/218) AAS
外部リンク[pdf]:www.corelab.ntua.gr
はい、Tarskiの論文で述べられている初等幾何学と伝統的なユークリッド幾何学は厳密には同一ではありません。以下のポイントで両者の違いが明確になります。
初等幾何学
範囲: 初等幾何学は、ユークリッド幾何学の一部として定義されていますが、集合論的な手法を用いずに定式化される部分に限られます。
形式化: 第一階述論理(first-order predicate calculus)に基づいて形式化され、変数は固定された集合の要素(点)を表します。
公理体系: 初等幾何学には、点の間の関係を表す述語(例: 中間性や等距離性)が使用され、連続性公理も第一階述論理の範囲内で表現されます。
ユークリッド幾何学
省7
253: 2024/05/23(木)15:59:48.86 ID:57Sqch+C(167/218) AAS
>>250
英語の論文とか読んだことすらなさそう
488(3): 2024/05/25(土)16:54:36.86 ID:43OvMs57(46/67) AAS
学歴にすがりたくなるのは自らの無能感の現れである
もし学歴は有能の証拠などでないと気づけばそれこそが真の賢さへの一歩である
516: 2024/05/25(土)17:11:15.86 ID:43OvMs57(54/67) AAS
科学の真の意義は
化石燃料バブルが弾けたら
もう二度と同じバブルは起きそうもない
と知ることかと
617: 2024/08/19(月)22:49:45.86 ID:KmxeMCEk(1) AAS
画質悪すぎてジェイクなのか
浪人でもないゲームをずっと下げるの印象悪いから投壊してるか不思議だ
618: 2024/08/19(月)23:12:23.86 ID:bQerp8R8(1) AAS
炎症をおこしやすくなってるしな
健康診断があった
画像リンク[jpeg]:i.imgur.com
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.024s