作者totopi (打错了)
看板logic
标题Re: 公理系统一致性(Consistency)与完备性(Comple …
时间Mon Jun 20 02:38:59 2005
※ 引述《evernever (生平无大志)》之铭言：
: 饿死抬头
: 举例说明公理系统一致性(Consistency)与完备性(Completeness)的意义。为
: 何公理系统要讨论一致性和完备性?
: 急用 = ="
目前只想到Godel所证的算术不完备性
这只是个人想法喔，也只是一个参考喔，不是标准答案喔。
比如说现在有一个公理系统Q好了，那这个系统内有一些公理A,B,C...
因为它被定义为公理，所以问题来了，我们就要去检验到底这些ABC...之间有没有矛盾，
就是一不一致，到底可不可以被证出来是一致的呢？
那Godel证出算术系统公理之间确实有地方是不能被证出来它到底是不是一致的，
因此这个就被称为一个系统是不完备的。
这是我目前所想到的，其实同学们也可以翻翻书後面的索引，通常大陆书比较会收。
找一致性和完备性的页数，在从中推敲一下应该就有答案了吧。
*_____*
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.135.8.239