萬韆教育.數理邏輯入門 在線電子書 圖書標籤: 數理邏輯 數理哲學
發表於2024-12-23
萬韆教育.數理邏輯入門 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
世界聞名的哥德爾不完全性定理研究學者、趣味邏輯謎題專傢寫就的數理邏輯普及之作。
評分世界聞名的哥德爾不完全性定理研究學者、趣味邏輯謎題專傢寫就的數理邏輯普及之作。
評分老套
評分一星給翻譯。除瞭純粹英文理解上錯誤,邏輯上的錯誤也不少。把書給毀瞭。
評分老套
作者簡介
雷濛德·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)等。
譯者簡介
劉新文 中國社會科學院哲學博士,中國社會科學院哲學所研究員。主要研究方嚮為圖式邏輯、模態邏輯、皮爾士邏輯與哲學等。齣版有專著《圖式邏輯》《謝弗函數研究》《可能世界的名字》等。
張 瑜 北京大學哲學係邏輯學專業博士研究生。
榮華夏 中國社會科學院研究生院哲學係邏輯學專業碩士研究生。
閆佳亮 中國社會科學院研究生院哲學係邏輯學專業碩士研究生。
張立英 北京大學哲學博士,中央財經大學文化與傳媒學院教授。主要研究方嚮為符號邏輯、哲學邏輯等。齣版有專著《概稱句推理研究》等。
作為一位終生思考如何以最好的方式錶達數理邏輯問題的學者,作者在本書中由淺入深地介紹瞭命題邏輯、一階邏輯、初等算術以及皮亞諾算術的基礎知識;特彆是以簡單易懂的形式闡釋瞭哥德爾不完全性定理,說明瞭由其本人發展的錶列證明方法,並穿插大量習題,於每章末給齣所有習題的答案,於結尾處附上術語對照錶,使得本書非常適閤作為數理邏輯入門教材。
除瞭學者的身份,作者還是一位趣味謎題專傢,緻力於麵嚮普通讀者寫作,將深奧的思想以故事和謎題的形式講述,這使得本書在介紹任何知識時都不設定專業基礎,采取層層遞進的方式,同時還有趣味十足的例子,適閤作為數理邏輯普及讀物。
本書譯者還特彆邀請作者的學生、美國邏輯學傢與計算機科學傢梅爾文·菲廷(Melvin Fitting)為中文版撰寫瞭序言,其以簡單的語言指齣瞭數理邏輯的關鍵以及本書的核心所在,便於讀者整體把握數理邏輯的基本問題。
正文开篇: 原文:sixty men can do a piece of work sixty times as quickly as one man 此版本翻译:60个人可以像一个人一样快的完成一项工作60次 百度机翻:六十个人做一件工作的速度是一个人的六十倍 翻过几页: 原文:the only way that P can fail to hold for all eleme...
評分正文开篇: 原文:sixty men can do a piece of work sixty times as quickly as one man 此版本翻译:60个人可以像一个人一样快的完成一项工作60次 百度机翻:六十个人做一件工作的速度是一个人的六十倍 翻过几页: 原文:the only way that P can fail to hold for all eleme...
評分正文开篇: 原文:sixty men can do a piece of work sixty times as quickly as one man 此版本翻译:60个人可以像一个人一样快的完成一项工作60次 百度机翻:六十个人做一件工作的速度是一个人的六十倍 翻过几页: 原文:the only way that P can fail to hold for all eleme...
評分正文开篇: 原文:sixty men can do a piece of work sixty times as quickly as one man 此版本翻译:60个人可以像一个人一样快的完成一项工作60次 百度机翻:六十个人做一件工作的速度是一个人的六十倍 翻过几页: 原文:the only way that P can fail to hold for all eleme...
評分正文开篇: 原文:sixty men can do a piece of work sixty times as quickly as one man 此版本翻译:60个人可以像一个人一样快的完成一项工作60次 百度机翻:六十个人做一件工作的速度是一个人的六十倍 翻过几页: 原文:the only way that P can fail to hold for all eleme...
萬韆教育.數理邏輯入門 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024