[1]张金成.逻辑及数学演算中的不动项与不可判定命题(Ⅰ)[J].智能系统学报,2014,9(4):499-510.[doi:10.3969/j.issn.1673-4785.201310076]
 ZHANG Jincheng.Fixed terms and undecidable propositions in logical and mathematical calculus(Ⅰ)[J].CAAI Transactions on Intelligent Systems,2014,9(4):499-510.[doi:10.3969/j.issn.1673-4785.201310076]
点击复制

逻辑及数学演算中的不动项与不可判定命题(Ⅰ)

参考文献/References:
[1] 陈汝栋. 不动点理论及应用[M].北京:国防工业出版社,2012: 1-4.
[2] 戴牧民,陈海燕.公理集合论导引[M].北京:科学出版社,2011: 15-17.
[3] 张金成. 容纳矛盾的逻辑系统与悖论[J]. 系统智能学报,2012(3): 208-209.ZHANG Jincheng. A logic system which accommodates contradictions and paradoxes[J]. CAAI Transactions on Intelligent Systems, 2012(3): 208-209.
[4] HAMILTON A G. Logic for Mathematicians[M]. Cambridge of University, 1978: 29-40, 82-92.
[5] 李未.数理逻辑[M].北京:科学出版社, 2008: 105-110.
[6] 张立昂.可计算性与计算的复杂性[M].北京大学出版社, 2011: 80-85.
[7] S.C克林著莫绍揆译. 元数学导论[M]. 北京:科学出版社1984: 4-12
[8] 何华灿. 泛逻辑学原理[M].北京:科学出版社,2001: 1-15.
[9] Boolos. 可计算性与数理逻辑[M]. 北京: 电子工业出版社; 2002: 152-160.
[10] 汪芳庭.数理逻辑[M]. 北京:科学出版社, 2001: 159-163.
相似文献/References:
[1]张金成.逻辑及数学演算中的不动项与不可判定命题(Ⅱ)[J].智能系统学报,2014,9(5):618.[doi:10.3969/j.issn.1673-4785.201310076]
 ZHANG Jincheng.Fixed terms and undecidable propositions in logical and mathematical calculus (Ⅱ)[J].CAAI Transactions on Intelligent Systems,2014,9(4):618.[doi:10.3969/j.issn.1673-4785.201310076]

备注/Memo

收稿日期:2013-11-26。
通讯作者:张金成,男,1966年生,主要研究方向为悖论、数理逻辑、数学基础、可计算理论,发表学术论文13篇。E-mail:656790205@qq.com

更新日期/Last Update: 1900-01-01
Copyright @ 《 智能系统学报》 编辑部
地址:(150001)黑龙江省哈尔滨市南岗区南通大街145-1号楼 电话:0451- 82534001、82518134