數理邏輯入門/萬千教育 作者簡介

作者簡介
雷蒙德·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）等。

譯者簡介作者簡介 雷蒙德·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）等。 譯者簡介 劉新文 中國社會科學院哲學博士，中國社會科學院哲學所研究員。主要研究方向為圖式邏輯、模態邏輯、皮爾士邏輯與哲學等。出版有專著《圖式邏輯》《謝弗函數研究》《可能世界的名字》等。 張 瑜　北京大學哲學系邏輯學專業博士研究生。 榮華夏　中國社會科學院研究生院哲學系邏輯學專業碩士研究生。 閆佳亮　中國社會科學院研究生院哲學系邏輯學專業碩士研究生。 張立英　北京大學哲學博士，中央財經大學文化與傳媒學院教授。主要研究方向為符號邏輯、哲學邏輯等。出版有專著《概稱句推理研究》等。