《萬千教育。數理邏輯入門》是2019年中國輕工業出版社出版的圖書，作者是（美）雷蒙德·M.斯穆里安（Raymond M. Smullyan）
基本介紹
- 作者：（美）雷蒙德·M.斯穆里安（Raymond M. Smullyan）
- 出版時間：2019年4月1日
- 出版社：中國輕工業出版社
- 頁數：384 頁
- ISBN：9787518421831
- 定價：68.00 元
- 裝幀：平裝
內容簡介
作為一位終生思考如何以最好的方式表達數理邏輯問題的學者，作者在本書中由淺入深地介紹了命題邏輯、一階邏輯、初等算術以及皮亞諾算術的基礎知識；特別是以簡單易懂的形式闡釋了哥德爾不完全性定理，說明了由其本人發展的表列證明方法，並穿插大量習題，於每章末給出所有習題的答案，於結尾處附上術語對照表，使得本書非常適合作為數理邏輯入門教材。 除了學者的身份，作者還是一位趣味謎題專家，致力於面向普通讀者寫作，將深奧的思想以故事和謎題的形式講述，這使得本書在介紹任何知識時都不設定專業基礎，採取層層遞進的方式，同時還有趣味十足的例子，適合作為數理邏輯普及讀物。 本書譯者還特別邀請作者的學生、美國邏輯學家與計算機科學家梅爾文·菲廷（Melvin Fitting）為中文版撰寫了序言，其以簡單的語言指出了數理邏輯的關鍵以及本書的核心所在，便於讀者整體把握數理邏輯的基本問題。 作者簡介 雷蒙德·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，...）(展開全部) 作者簡介 雷蒙德·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）等。 譯者簡介 劉新文 中國社會科學院哲學博士，中國社會科學院哲學所研究員。主要研究方向為圖式邏輯、模態邏輯、皮爾士邏輯與哲學等。出版有專著《圖式邏輯》《謝弗函式研究》《可能世界的名字》等。 張 瑜 北京大學哲學系邏輯學專業博士研究生。 榮華夏 中國社會科學院研究生院哲學系邏輯學專業碩士研究生。 閆佳亮 中國社會科學院研究生院哲學系邏輯學專業碩士研究生。 張立英 北京大學哲學博士，中央財經大學文化與傳媒學院教授。主要研究方向為符號邏輯、哲學邏輯等。出版有專著《概稱句推理研究》等。
