Gödel's Incompleteness Theorems

Main
Computers - Programming
Gödel's Incompleteness Theorems

Gödel's Incompleteness Theorems

Name: Gödel's Incompleteness Theorems
ISBN: 9781423735199

Raymond M. Smullyan

5.0 / 5.0

0 comments

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

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.

种类:

Computers - Programming

年:

1992

出版社:

Oxford University Press

语言:

english

页:

156

ISBN 10:

1423735196