Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides) - Image 1

£199.83

Oxford University Press Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)

Name: Godel's Incompleteness Theorems: 19 (Oxford Logic Guides)
Brand: Oxford University Press
Price: 179.63 GBP
Availability: InStock

Software Design, Testing & Engineering

Price History & Forecast

Last 52 days • 52 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 52 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £198-203 (20 days, 38.5%)

Price range: £179 - £203

Price levels: 5 price ranges over 52 days

Description

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.

Key Features

Godel Incompleteness Theorems: 19 Oxford Logic Guides

Product Type : Abis Book

Brand : Oup Usa

Product Specifications

Brand: Oxford University Press
Format: hardcover
ASIN: 0195046722
Category: Books > Subjects > Computing & Internet > Programming > Software Design, Testing & Engineering
Domain: Amazon UK
Release Date: 22 October 1992
Listed Since: 12 February 2007

Barcode

No barcode data available

Oxford University Press Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936: 1 (Collected Works of Kurt Godel)

Godel's Way: Exploits into an undecidable world

Goedel's Way: Exploits into an undecidable world

COLLECTED WORKS OF GODEL V1: PUBLICATIONS 1929-1936: Volume I: Publications 1929-1936 (Collected Works (Oxford)): 01

Kurt Godel: Collected Works: Volume V (Volume 5)

Collected Works (Volume III): Unpublished Essays and Lectures: 03 (Collected Works (Oxford))

Can Mathematics Be Proved Consistent?: Gödel's Shorthand Notes & Lectures on Incompleteness (Sources and Studies in the History of Mathematics and Physical Sciences)

Kurt Godel: Collected Works: Volume Iv (Volume 4): Correspondence A-G

Collected Works (Volume II): Publications 1938-1974: 02 (Collected Works (Oxford))

Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II)

Introduction to Incompleteness: From Gödel's Theorems to Forcing and the Continuum Hypothesis

Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)

Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16

Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)

Mathematical Logic: An Introduction (De Gruyter Textbook)

Kurt Gödel: Results on Foundations (Sources and Studies in the History of Mathematics and Physical Sciences)

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics: 6 (Vienna Circle Institute Library, 6)

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Godel's Proof (Routledge Classics)

Models of Peano Arithmetic: 15 (Oxford Logic Guides)

Kurt Godel: Essays for His Centennial: 33 (Lecture Notes in Logic, Series Number 33)