Re: [分析] Peano公設的一些問題
※ 引述《alfadick (悟道修行者)》之銘言：
: Q1: Peano公設本身有假定說「滿足那五個公設的集合存在」嗎？
: 滿足那些要求的集合存在，是公設本身的一部份，還是無關乎那個公設的結果？
先說邏輯上 對於一個理論 T (在這個特例中 T = Peano arithmetic)
說「滿足 T 的模型存在」就等價於「T 不會推導出矛盾」
哥德爾第二不完備定理指出 如果T是夠強的理論 (命題能夠自我指涉)
就不能用 T 推導出「T 不會推導出矛盾」 (有點拗口XD)
而 Peano arithmetic 就是夠強的理論之一
所以你的問題的答案是「否」
比 Peano arithmetic 弱的理論 則有可能推導得出理論自己的一致性
不過要構造出這樣的理論也不是簡單的事
(理論必須足以表達「能被推導」這樣的述詞 但又不能強到包含 Peano arithmetic)
這是我google到的一個例子 http://www.cs.albany.edu/~dew/m/jsl1.pdf
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 149.86.115.135
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1450734626.A.CAB.html
※ 編輯: recorriendo (149.86.115.135), 12/22/2015 06:10:29
推
12/22 15:03, , 1F
12/22 15:03, 1F
→
12/22 15:04, , 2F
12/22 15:04, 2F
推
12/22 23:02, , 3F
12/22 23:02, 3F
討論串 (同標題文章)
完整討論串 (本文為第 2 之 2 篇)：