数学基礎論・数理論理学のスレッド その7at MATH数学基礎論・数理論理学のスレッド その7 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト50:44 10/12/29 17:08:00 >>45 なるほど・・・ では間接的になら扱うことが可能なのでしょうか >>46 二階述語論理に対する一階述語論理、 一階述語論理に対する命題論理のような意味での基本的という意味です 論理ではなくて単なる記号の規則でも良いです 51:１３２人目の素数さん 10/12/29 18:25:32 間接的にで良いなら、自己言及「的な」現象が起こることがあって、 その良い例が不完全性定理。 基本的と言うか、より一般的な記号列の機械的な書き換えということになると オートマトンだとかチューリングマシンだとかの話になるけど、 だんだん数理論理というより計算機科学よりの話になる。 52:１３２人目の素数さん 10/12/30 00:31:12 >>45 完全性定理の証明に選択公理が使われてても問題ないのか？ 納得できん 53:１３２人目の素数さん 10/12/30 03:05:37 ゲーデルによる不完全性定理の証明に中国剰余定理が使われているようなもの。 計算量理論の観点からすると問題になるらしく、この定理を使わない改良版もあるそうだ。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch