Godel's Incompleteness Theorems

Godel's Incompleteness Theorems pdf epub mobi txt 电子书 下载 2025

出版者:Oxford University Press, USA
作者:Raymond M. Smullyan
出品人:
页数:160
译者:
出版时间:1992-8-20
价格:USD 210.00
装帧:Hardcover
isbn号码:9780195046724
丛书系列:
图书标签:
  • 数理逻辑 
  • 逻辑学 
  • 逻辑 
  • 数学 
  • 思维 
  • 惊为天人的证明方法 
  • 哲学逻辑 
  • Smullyan 
  •  
想要找书就要到 小美书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable". His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Godel's incompleteness theorems. The level of presentation is suitable for anyone with a basic acquaintance with mathematical logic. As a clear, concise introduction to a difficult but essential subject, the book will appeal to mathematicians, philosophers, and computer scientists.

具体描述

读后感

评分

评分

评分

评分

评分

用户评价

评分

评分

评分

评分

评分

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有