A Beginner's Guide to Mathematical Logic (Paperback)

Raymond M. Smullyan

  • 出版商: Dover Publications
  • 出版日期: 2014-07-16
  • 售價: $1,100
  • 貴賓價: 9.5$1,045
  • 語言: 英文
  • 頁數: 288
  • 裝訂: Paperback
  • ISBN: 0486492370
  • ISBN-13: 9780486492377
  • 無法訂購

買這商品的人也買了...

相關主題

商品描述

Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive explanations and unique problems.
Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric logic, and recursion theory. Suitable for undergraduate and graduate courses, this book will also amuse and enlighten mathematically minded readers. 2014 edition.

商品描述(中文翻譯)

這本書由數學邏輯的創意大師撰寫,結合了偉大哲學家的故事、名言和謎語,與數學邏輯的基本原理。作者雷蒙德·斯穆利安(Raymond Smullyan)以清晰、漸進的方式介紹了困難的邏輯概念。他用富有創意的解釋和獨特的問題來突顯每個主題。

斯穆利安的敘述通俗易懂,提供了與證明、命題邏輯和一階邏輯、不完全性定理及不完全性證明相關的概念的難忘範例。其他主題還包括不可決定性、組合邏輯和遞歸理論。這本書適合本科生和研究生課程,也將使數學思維的讀者感到愉悅和啟發。2014年版。