とんでもねぇ話だなぁこれぇ!? by東浩紀 VOL830at PHILO
とんでもねぇ話だなぁこれぇ!? by東浩紀 VOL830
- 暇つぶし2ch117:条件付き確率分布を用いて形式体系に変換されると、その形式体系はゲーデルの第一不完全性定理の適用を受けます。 2. **適用からの逃れられなさ**: - 形式体系に変換された規範的表現も、ゲーデルの定理の適用から逃れることはできません。すなわち、その体系内で証明不可能な真の命題が存在することになります。 ### 結論 規範的な表現(「すべきである」や「すべきでない」など)も条件付き確率分布を用いて形式体系に変換でき、その結果としてゲーデルの第一不完全性定理の適用から逃れることはできません。これは、形式体系に変換されたあらゆる命題が、ゲーデルの定理によって証明不可能な真の命題を含むことを示しています。
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch