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.
Les mer
Produktdetaljer
ISBN
9780190281441
Publisert
2020
Utgiver
Vendor
Oxford University Press
Språk
Product language
Engelsk
Format
Product format
Digital bok
Forfatter