数学原理及有关系统中的形式不可判定命题查看源代码讨论查看历史

原图链接来自 豆瓣网 的图片

《数学原理及有关系统中的形式不可判定命题》，概述苏联(1917—1947)数理逻辑与数学基础研究结果的著作。莫斯科出版。中译本1953年中国科学院出版，缪朗山译。收编于《世界百科名著大辞典》。

内容简介

除引言外分3章。第1章数学的哲学问题，主要批评在数学基础与数理哲学研究方面的直觉主义、逻辑主义和形式主义思想。第2章“关于数理逻辑的问题”，介绍俄国人波列茨基在1884年的数理逻辑巨著《论逻辑等式解决及数理逻辑倒逆法》，同时也论述集合论的悖论、公理化方法、排中律等基本问题。第3章“苏联学者的著作中的数理逻辑与证明论”，按年代顺序概述了苏联学者在这一领域的研究梗概，较详细地介绍了马尔科夫的“论结合系统中某些算法的不可解性”、谢斯塔科夫与伽夫理罗夫把数理逻辑特别是布尔代数运算于继电器系统(他们证明，多值逻辑也有实际意义，从而可以直接应用于技术方面，并有重要意义)。由于时代的限制，本书也有若干扣帽子的错误，如把直觉主义、逻辑主义、形式主义一概称之为唯心主义。

作者简介

作者阿·雅诺夫斯卡娅(С.А.яновская)苏联女逻辑学家。莫斯科大学哲学系逻辑教研室教授。

《世界百科名著大辞典》相关信息

1.本辞典为书籍文献的综合性、科学性和知识性的工具书。选收自然科学、技术科学、综合性科学、社会和人文科学、文学艺术的各个学科，以及宗教的名著和重要典籍。

2.本辞典以具有大专以上文化程度的人为主要对象。

3.本辞典根据科学文化知识体系的联系和区别、适应社会和读者的需要、为了检索和阅读方便，分为自然和技术科学、社会和人文科学、文学艺术(不含艺术作品) 3册。各册相对独立，又互相联系。

4.本辞典收书以专著为主，少数是全集、选集，以及在科学上有开创性的论文，公认的有很高价值的单篇文学作品。

视频

数学原理及有关系统中的形式不可判定命题 相关视频

002--RSA数学原理 杠杆的数学原理