数学基礎論・数理論理学のスレッド その7at MATH数学基礎論・数理論理学のスレッド その7 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト700:１３２人目の素数さん 11/06/09 23:36:06.22 qを仮定して矛盾するからq'というのを背理法というのは問題があるけど、 この場合はq'を仮定して矛盾するからqという議論だから 実質的には同じことをやっている。 あまり問題無いと思うけど。 701:１３２人目の素数さん 11/06/09 23:39:13.42 ＞対象領域の集合とか、関数記号の解釈とかはやはり、帰納的に構成されるものでなければならないのか？ そんなこと無いけど。 「意味論」と「メタレベルの議論」の違いは、 集合論の独立性証明とかを一度勉強しないとなかなか違いは理解しにくいと思う。 数学やらずに哲学的な話ばかりしてても仕方ないし。 702:１３２人目の素数さん 11/06/10 00:23:05.73 >698みたいな疑問は、チューリングマシンを勉強するのが一番の近道だと思うけど、どうかね？ 703:１３２人目の素数さん 11/06/10 01:19:39.65 ＞＞対象領域の集合とか、関数記号の解釈とかはやはり、帰納的に構成されるものでなければならないのか？ ＞そんなこと無いけど。 じゃあ対象領域とか関数記号の解釈はどういった方法で決定（定義）するの？ そもそもこの解釈の存在で恒心、充足可能とか定義することにどれだけの意味があるんだ？ そのような用語を導入すると、何かいいことでもあるの？ どうせ、すべての解釈で命題が真になるかどうかなんて議論できないわけだし。 純粋形式的に推論規則で何かの論理式が導出できるか、できないかで論じればいいんじゃないの？ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch