递归结构理论的形式系统和语句的可判定性——可解决性理论Ⅱ

原文传递

导出

摘要本文在文献[1]基础上,建立递归结构的形式系统,给出判断其语句可判定性的充要条件,并通过语句的范式把可判定性与计算联系起来。

作者胡世华

机构地区中国科学院软件研究所

出处《中国科学（A辑）》 CSCD 1990年第12期1235-1242,共8页 Science in China(Series A)

关键词递归结构可判定性语句

参考文献1

1Kurt G?del. über formal unentscheidbare S?tze der Principia Mathematica und verwandter Systeme I[J] 1931,Monatshefte für Mathematik und Physik(1):173～198

1胡世华.递归结构——Ⅰ.可解决性理论[J].中国科学（A辑）,1990,21(11):1137-1145.
2曹为理.关于半群簇的几个判定问题[J].兰州大学学报（自然科学版）,1994,30(4):64-67. 被引量：1
3张乐,裴道武,王三民.系统_n~*的逻辑性质及其应用[J].高校应用数学学报（A辑）,2011,26(2):247-252.
4左春艳,禹长龙.广义Liénard系统的中心问题[J].河北科技大学学报,2013,34(2):125-127.
5Lan-dang YUAN,Qing-de KANG.Decomposition of λK_v into Five Graphs with Six Vertices and Eight Edges[J].Acta Mathematicae Applicatae Sinica,2012,28(4):823-832. 被引量：1
6ZHANG Wei.On the decidability of open logic[J].Science in China(Series F),2009,52(8):1283-1291.
7朱洪,卢先捷,RichardDenis.算术结构的不可判定性[J].数学年刊（A辑）,1997,1(6):667-672.
8KANG Qing De,LIU Shu Xia,YUAN Lan Dang.Decomposition of λKv into 6-Circuits with Two Chords[J].Journal of Mathematical Research and Exposition,2009,29(5):774-786. 被引量：1
9薛锐.完备布尔代数理论的计算复杂性[J].北京师范大学学报（自然科学版）,1999,35(3):303-309.
10沈恩绍.大、小E.C.结构的可判定性[J].数学学报（中文版）,1997,40(3):465-472.

中国科学（A辑）

1990年第12期

内容加载中请稍等...