とんでもねぇ話だなぁこれぇ!? by東浩紀 VOL830at PHILO
とんでもねぇ話だなぁこれぇ!? by東浩紀 VOL830 - 暇つぶし2ch117:条件付き確率分布を用いて形式体系に変換されると、その形式体系はゲーデルの第一不完全性定理の適用を受けます。 2. **適用からの逃れられなさ**: - 形式体系に変換された規範的表現も、ゲーデルの定理の適用から逃れることはできません。すなわち、その体系内で証明不可能な真の命題が存在することになります。 ### 結論 規範的な表現(「すべきである」や「すべきでない」など)も条件付き確率分布を用いて形式体系に変換でき、その結果としてゲーデルの第一不完全性定理の適用から逃れることはできません。これは、形式体系に変換されたあらゆる命題が、ゲーデルの定理によって証明不可能な真の命題を含むことを示しています。




次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch