数理逻辑入门/万千教育

首页 > 图书 > 人文社科类图书/2020-06-18 / 加入收藏 / 阅读 [打印]
数理逻辑入门/万千教育

数理逻辑入门/万千教育

作者:(美)雷蒙德·M.斯穆里安(Raymon

开 本:其他

书号ISBN:9787518421831

定价:68.0

出版时间:2018-08-01

出版社:中国轻工业出版社



译者简介作者简介 雷蒙德·M.斯穆里安(Raymond M. Smullyan,1919—2017) 世界著名逻辑学家、数学家,也是一位职业钢琴演奏家和职业魔术师。1959年于普林斯顿大学获得哲学博士学位。先后任教于达特茅斯学院、普林斯顿大学、印第安纳大学、纽约城市大学雷曼学院等。哥德尔不完全性定理研究专家,系统地发展了表列证明方法,并致力于向普通读者普及数理逻辑。著有30余部著作,包括数理逻辑专业著作以及趣味逻辑谜题书,如《形式系统的理论》(Theory of Formal Systems,1961)、《一阶逻辑》(First-Order Logic,1968)、《哥德尔不完全性定理》(Gödel’s Incompleteness Theorems,1992)、《元数学的递归论》(Recursion Theory for Metamathematics,1993)、《对角化和自指》(Diagonalization and Self-Reference,1994)、《这本书叫什么?》(What Is the Name of This Book?,1978)、《逻辑迷宫》(Logical Labyrinths,2009)、《哥德尔谜题书》(The Gödelian Puzzle Book,2013)等。 译者简介 刘新文 中国社会科学院哲学博士,中国社会科学院哲学所研究员。主要研究方向为图式逻辑、模态逻辑、皮尔士逻辑与哲学等。出版有专著《图式逻辑》《谢弗函数研究》《可能世界的名字》等。 张 瑜 北京大学哲学系逻辑学专业博士研究生。 荣华夏 中国社会科学院研究生院哲学系逻辑学专业硕士研究生。 闫佳亮 中国社会科学院研究生院哲学系逻辑学专业硕士研究生。 张立英 北京大学哲学博士,中央财经大学文化与传媒学院教授。主要研究方向为符号逻辑、哲学逻辑等。出版有专著《概称句推理研究》等。

数理逻辑入门/万千教育

 2/2   首页 上一页 1 2

哲学/宗教 哲学 逻辑学

在线阅读

  • 最新内容
  • 相关内容
  • 网友推荐
  • 图文推荐