type
status
date
slug
summary
tags
category
icon
password
《数学家的逻辑》
作者: A.G.哈密尔顿 / Hamilton, A.G.
出版社: 商务印书馆
译者: 骆如枫 / 陈慕昌 / 茹季札 / 黄万徽
出版年: 1989
页数: 303
◎内容简介
这本入门教材不仅为未来的逻辑学家而设计，也旨在对一般的数学工作者有所帮助。它基于A.G.哈密尔顿在斯特灵大学为三、四年级本科数学专业学生所开的讲座，目的是向学生或职业数学家介绍数理逻辑的技术与主要成果，即使他们的背景知识仅限于典型的一年级本科数学课程也没有关系。
本书在呈现内容时避免偏向某一特定方向、应用或发展，力图将数理逻辑置于数学的整体背景中，强调其对数学家的重要性。教材从基础层面出发，由非正式讨论逐步过渡到正式的数学与逻辑系统的严谨描述与运用。前几章内容包括命题演算与谓词演算；后续章节则涵盖哥德尔的不完全性定理，以及各种不可判定性与不可解性结果，包括对图灵机和抽象可计算性的探讨。
每一节最后都附有练习题，旨在帮助读者澄清和巩固所学内容，其中许多题目在书末提供了提示或解答。