郝兆宽的作品

数理逻辑：证明及其限度

郝兆宽

评分 8分

数理逻辑是一门非常成熟的学科 相比于其他教材 本书将逻辑与元数学联系在一起 更多地介绍语义部分和强调语法语义的统一 郝兆宽：复旦大学哲学学院教授。主要研究方向为数学哲学、哥德尔思想。 杨睿之：复旦大学哲学学院副教授。主要研究方向为数理逻辑与数学哲学。 杨跃：新加坡国立大学

递归论

郝兆宽, 杨跃, 杨睿之

评分 8分

本书是“逻辑与形而上学教科书系列”中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。第一章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题，其中包括希尔伯特第十问题（丢番图整数解判定问题）的否定性结果（即马季亚谢维奇定理）和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中，

哥德尔纲领

郝兆宽

评分 8.9分

本书讨论哥德尔纲领的历史背景、对数学和哲学的影响以及数学家们为实现这一纲领的重要工作。 哥德尔纲领可以看作是为解决连续统问题而提出的一种研究方略。当数学家们知道了连续统假设的独立性之后，关于这个集合论命题的哲学地位就产生了争论。一派认为独立性就是对这个问题的优选解决，连续统假设既不是真的也不是假的，这就是很后的答案，因此，这个方向的工作已经完成。而哥德尔则认为独立性不是问题的解决，我们

逻辑与形而上学

郝兆宽 主编

评分 6.8分

本书为复旦大学思想史研究中心主办的思想史研究丛书之一。旨在知识越来越被学科化、教条化的今天，回到思想史的鲜活源泉，回到各科学术贯通发展的强力中去。内容以研究性论文为主，兼及学术评论、书评及其他相关撰述，还有学术经典和学术名家的作品的译稿及点校稿。本书主题为《逻辑形而上学》，收有“逻辑与形而上学”主题文章，均是中外学者就逻辑与形而上学主题所做的文章，讨论逻辑本质与形而上学的关系，另外收有“逻辑

数理逻辑

杨跃, 郝兆宽, 杨睿之

评分 7.7分

本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始，介绍了集合论基本知识，命题逻辑、一阶逻辑的语法和语义，哥德尔完全性定理，递归论基本知识，简化版本的自然数模型，哥德尔不完全性定理等内容。 本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材，本书更强调逻辑与元数学的联系，更多地介绍语义部分，强调语法语义的统一。书中，除了对各个知识点本身的讲解，还介绍了它们的直观和思想背景。 本

集合论

郝兆宽, 杨跃

评分 7.8分

《集合论:对无穷概念的探索》是“逻辑与形而上学教科书系列”中的一本，书中介绍了集合论的基础知识，共有集合与公理，关系与函数，实数的构造，基数，滤、理想与无界闭集，集合的宇宙，可构成集，力迫等9章内容；除了讨论集合论的基本概念，还讨论了可构成集、力迫法等现代内容，同时还讨论了与连续统假设相关的一些哲学问题。

当代哲学经典：逻辑学卷

郝兆宽

评分 7.3分