[過去ﾛｸﾞ] 基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
18: 2024/05/17(金)17:10:25.27 ID:I4xxpoEn(2/5) AAS
>>16 数学ができる、ということと、常識的な人格の持ち主、というのは、多分論理的に独立なんだろうｗ
41: 2024/05/23(木)03:51:32.27 ID:57Sqch+C(13/218) AAS
形式体系への内包:
ニューラルネットワークの活動を条件付き確率分布を用いて形式体系に内包することでこの形式体系はゲーデルの第一不完全性定理の適用を受けます。これはネットワークが扱うあらゆる命題や推論が形式体系内で証明不可能な真の命題を含むことを示します。
適用の具体例:
例えばニューラルネットワークが特定のデータセットに対して最適な分類を行うためのパラメータ設定を学習したとします。この学習プロセスと推論プロセスは条件付き確率分布で形式化されます。この形式体系に対してゲーデルの定理を適用するとネットワークが生成するすべての分類や推論がその形式体系内で証明不可能な命題を含む可能性があることが示されます。つまりネットワークが正確に動作する場合でも形式体系内で完全に証明することができない真の命題が存在することになります。
結論:
大規模なニューラルネットワークの活動も条件付き確率分布を用いて形式体系に内包することが可能でありこの形式体系はゲーデルの第一不完全性定理の適用を受けます。これはニューラルネットワークがどれほど高度であってもその活動が形式体系内で証明不可能な真の命題を含む可能性があることを示しています。このように条件付き確率分布を用いることでニューラルネットワークの活動を形式体系に書き下すことができその結果としてG1の適用を受けることができます。
58: 2024/05/23(木)06:36:14.27 ID:57Sqch+C(25/218) AAS
トートロジー以外で実験以外で考えうる正しさは無矛盾性しか残されてない
これが出発点
スマリヤン不完全性定理くらい読めよw
107: 2024/05/23(木)06:58:53.27 ID:57Sqch+C(63/218) AAS
証明責任はフェアな議論全てで要求される
当然ながら全ての学問で要求される
当然ながら自然科学でも要求される
確かめてない範囲の憶測など議論のスタートラインにすら立っていない
教育を受けてない脳障害の自白
168: 2024/05/23(木)08:48:25.27 ID:57Sqch+C(115/218) AAS
ちなみにゲーデルはゲーデルの第一不完全性定理の意味を正しく理解できてませんwwww
なぜならあらゆる思考も物理現象も>>31-44のように形式化されゲーデルの第一不完全性定理が適用可能なことをゲーデル自身は知らなかったからw
240(2): 2024/05/23(木)14:32:03.27 ID:C5I/LwRF(9/9) AAS
＞自明な正しさ:正しいから正しい(トートロジー)→当たり前すぎて無意味
この理屈でいうと、数学は当たり前で無意味、ということになる
なぜなら 数学の証明とは、公理⇒定理がトートロジーであることの提示でしかないから
（実際にはかなりはしょっているので、ミスが発生することは多々ある）
339: 2024/05/23(木)21:08:02.27 ID:6sZSkOSk(2/2) AAS
ダメよダメダメ、たたき上げのお金持ちを馬鹿にしちゃ
クリーニングの高江常男さんでもブラジャーの塚本幸一さんでも
電球の松下幸之助さんでもetc その腹の内は尋常どころじゃじゃないよ ホント
515: 2024/05/25(土)17:11:07.27 ID:VeOj487N(105/136) AAS
つまり「Aにとっての倫理」「Bにとっての倫理」「複数の立場の倫理をなんらかの方法でまとめ上げる写像F」というものがあったとして
公理的集合論で許される集合はF(Aにとっての倫理, Bにとっての倫理)なんだワwwwmwwwwww
形而上学が論理学を満たさない理由は「普遍的な真の倫理=Aにとっての倫理=Bにとっての倫理」という爆発律をやらかすからなんだわwwwwwwwwww
3行で終わりますwww
というか普通に数学とか自然科学を習う学生はみんなこれに自力で気付くwwwww
だから誰も哲学なんかやりませんwwww
爆発律知らんで本1冊無駄に書いちゃうバカゲンシュタインは無知すぎるし脳障害すぎるし無意味すぎるw
省2
593: 2024/08/09(金)01:32:03.27 ID:WSYrmeXz(1) AAS
妄想が過ぎる
復讐の象徴として道路の設計に問題があるから
会社が個人情報とか気にするとかない？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s