数理逻辑史节录被引量：1

导出

摘要一、数理逻辑史分期数理逻辑和一些学科都有密切的联系。关于数理逻辑的性质和范围,有狭义的理解,也有广义的理解。根据广义的理解,数理逻辑大致有以下几点特征。第一,数理逻辑是边缘性的学科,在它的范围内,逻辑内容和数学的内容时常是交织在一起的。它和数学其它分支、计算机科学、人工智能及语言学等都有广泛的联系。

作者王宪钧

机构地区北京大学哲学系

出处《哲学研究》 1981年第6期35-43,共9页 Philosophical Research

关键词逻辑史数理节录人工智能数学的内容计算机科学语言学逻辑内容逻辑和边缘性

分类号 B0 [哲学宗教—哲学理论]

引文网络
相关文献

同被引文献9

1吴允曾.现代数理逻辑的两个问题及其哲学涵义[J].哲学研究,1979(2):51-55. 被引量：1
2吴文俊.初等几何判定问题与机械化证明[J].中国科学,1977,(6):507-516. 被引量：10
3TTimarci. 被引量：25
4CNarteau. 被引量：15
5[美]鲁滨逊(A· Robinson) 著,申又枨等.非标准分析[M]科学出版社,1980. 被引量：1
6M. Davis,Y Matijasevic and J. Robinson.Hilbert’s tenth problem,1976. 被引量：1
7P. J. Cohen.Set Theory and the Continuum Hypothesis,1966. 被引量：1
8W. Sierpinski.Hypothesis du Continu,1934. 被引量：1
9K. Gdel.The Consistency of the Axiom of Choice and of the Generalized Continum Hypothesis with the Axioms of Set TheoryPrinceton,1940. 被引量：1

引证文献1

1张锦文.数理逻辑的若干结果、方法、意义和趋向[J].哲学研究,1982(1):27-33.

1邹化政.论事物与存在[J].长白学刊,1999(5):36-39.
2曾昭式.“重新讲”与“接着讲”的哲学——逻辑分析法与《论道》、《新理学》[J].学术研究,2009(4):31-34.
3林邦瑾.“矛盾”命题的无矛盾形式[J].哲学研究,1981(1):30-33. 被引量：1
4梁景时.论马克思发现唯物史观的思想轨迹及思想逻辑[J].通化师范学院学报,1999,20(1):1-9.
5杨熙龄.简评瓦尔德的《辩证逻辑导论》[J].哲学研究,1980(1):72-75.
6董志铁.逻辑教材改革的可喜成果——《逻辑学引论》读后[J].思维与智慧（上半月）,1989(4):27-27.
7邹化政.属人觉、知的分析系统[J].长春市委党校学报,1999(4):16-23. 被引量：1
8豆格甲.浅析《色摄类学》的产生及其影响[J].天府新论,2008(S2):370-371.
9马佩.也谈我国的逻辑教学——与王路先生商榷[J].西南师范大学学报（哲学社会科学版）,1999,31(5):65-71. 被引量：18
10马铁军.周易式逻辑图解[J].自然辩证法研究,2000,16(z1):44-46.

哲学研究

1981年第6期

浏览历史

内容加载中请稍等...

数理逻辑史节录被引量：1

同被引文献9

引证文献1

相关作者

相关机构

相关主题

浏览历史

数理逻辑史节录 被引量：1

同被引文献9

引证文献1

相关作者

相关机构

相关主题

浏览历史

数理逻辑史节录被引量：1