ﾚｽ書き込み

ｽﾚへ戻る 写 ﾚｽ栞 ﾚｽ消

---

純粋・応用数学・数学隣接分野（含むガロア理論）21

PC,ｽﾏﾎ,PHSは ULA べっかんこ 公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>249 > >>245 > > 整数の体系Aの中では正しいとも正しくないとも決定不能なある命題があったとして、 > 　ゲーデルの不完全性定理によれば、Aが帰納的公理化可能であれば、決定不能な命題Gが存在します > > その命題は元の整数の体系を含み実数も含むある体系Bの中では証明が出来るとする。 > 　上記の命題Gは、Gを公理としてAに追加した体系では、当然証明できます　公理ですから > > そのとき元の整数の体系を含んでいる別の体系Cの中では決して反証されないのだろうか？ > 　上記の命題Gの否定命題¬Gを公理としてAに追加した体系では、当然反証されます > > 　そもそもPがAで決定不能とは、Aの上では、Pからも¬Pからも矛盾が導けないということです > 　これまたゲーデルが証明した述語論理の完全性定理では、 > 　体系Aのいかなるモデルでも真である命題はかならず証明できます > 　逆に、証明も反証もできない命題Pというのは、 > 　Aのあるモデルでは真であり、別のあるモデルでは偽ということですから > > >>248 > 「多分」も「に近い」も不要 > 述語論理の完全性定理を理解していれば分かります > > 大学３年レベルでしょう > 東大の数学科では論理学は教えないそうですが
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

---

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

---

ﾒﾓ帳

(0/65535文字)

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.016s