數學原理及有關系統中的形式不可判定命題檢視原始碼討論檢視歷史

原圖鏈接來自 豆瓣網 的圖片

《數學原理及有關系統中的形式不可判定命題》，概述蘇聯(1917—1947)數理邏輯與數學基礎研究結果的著作。莫斯科出版。中譯本1953年中國科學院出版，繆朗山譯。收編於《世界百科名著大辭典》。

內容簡介

除引言外分3章。第1章數學的哲學問題，主要批評在數學基礎與數理哲學研究方面的直覺主義、邏輯主義和形式主義思想。第2章「關於數理邏輯的問題」，介紹俄國人波列茨基在1884年的數理邏輯巨著《論邏輯等式解決及數理邏輯倒逆法》，同時也論述集合論的悖論、公理化方法、排中律等基本問題。第3章「蘇聯學者的著作中的數理邏輯與證明論」，按年代順序概述了蘇聯學者在這一領域的研究梗概，較詳細地介紹了馬爾科夫的「論結合系統中某些算法的不可解性」、謝斯塔科夫與伽夫理羅夫把數理邏輯特別是布爾代數運算於繼電器系統(他們證明，多值邏輯也有實際意義，從而可以直接應用於技術方面，並有重要意義)。由於時代的限制，本書也有若干扣帽子的錯誤，如把直覺主義、邏輯主義、形式主義一概稱之為唯心主義。

作者簡介

作者阿·雅諾夫斯卡婭(С.А.яновская)蘇聯女邏輯學家。莫斯科大學哲學系邏輯教研室教授。

《世界百科名著大辭典》相關信息

1.本辭典為書籍文獻的綜合性、科學性和知識性的工具書。選收自然科學、技術科學、綜合性科學、社會和人文科學、文學藝術的各個學科，以及宗教的名著和重要典籍。

2.本辭典以具有大專以上文化程度的人為主要對象。

3.本辭典根據科學文化知識體系的聯繫和區別、適應社會和讀者的需要、為了檢索和閱讀方便，分為自然和技術科學、社會和人文科學、文學藝術(不含藝術作品) 3冊。各冊相對獨立，又互相聯繫。

4.本辭典收書以專著為主，少數是全集、選集，以及在科學上有開創性的論文，公認的有很高價值的單篇文學作品。

視頻

數學原理及有關系統中的形式不可判定命題 相關視頻

002--RSA數學原理 槓桿的數學原理