数理逻辑
内容简介：
《数理逻辑》是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲，-4章为基础内容，第5-6章为高阶内容。具体来看，章从思想史角度讲述哲学之于逻辑的动机催发，第2章讲述命题逻辑的早期简史、语法语义、接近性、紧致性等，第3章讲述一阶逻辑的早期简史、语法语义、接近性、紧致性及应用、哲学的应用等，第4章讲述一阶理论的基本性质、几种形式等，第5章讲述哥德尔不接近性定理的数学哲学动机、详细证明过程、一些相关推论、数学哲学影响等，第6章以模态逻辑为例说明逻辑之于哲学的实际应用。
作者简介：
下载地址：
标签：
文章链接：https://www.dalanmei.com/book-content-47269.html(转载时请注明本文出处及文章链接)
猜你喜欢：
-
2023-09-1416 -
2023-09-146 -
2023-09-145 -
2023-09-145 -
2023-09-149 -
2023-09-145 -
2023-09-149 -
2023-09-1417
