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

£41.75

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

Name: Godel's Incompleteness Theorems: A Guided Tour Through Kurt Godel's Historic Proof
Brand: Springer
Price: 41.75 GBP
Availability: InStock

Mathematical Logic

This is the usual price. Wait for it to drop, or tell us your number.

£42 today · usual range £0–£0 · best ever £37

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical

Generating forecast...

Price Distribution

Price distribution over 513 days • 6 price levels

Days at Price

Current Price

Price Analysis

Most common price: £39 (237 days, 46.2%)

Price range: £37 - £44

Price levels: 6 different prices over 513 days

Description

In 1931, the mysterious-sounding article "On Formally Undecidable Propositions of Principia Mathematica and Related Systems I" shook the mathematical world. In this article, Kurt Gödel proved two incompleteness theorems that have fundamentally changed our view of mathematics. Gödel's theorems manifest that the concept of truth and the concept of provability cannot coincide. Since their discovery, the incompleteness theorems have attracted much attention, and a flood of articles and books have been devoted to their striking consequences. For good reasons, however, hardly any work deals with Gödel's article in its original form: His complex lines of thought described with meticulous precision, the many definitions and theorems, and the now largely outdated notation turn Gödel's historical masterpiece into a difficult read. This book explores Gödel's original proof in detail. All individual steps are carefully explained and illustrated with numerous examples. However, this book is more than just an annotated version of the historical article, as the proper understanding of Gödel's work requires a solid grasp of history. Thus, numerous excursions take the reader back to the beginning of the twentieth century. It was the time when mathematics experienced one of its greatest crises, when type theory and axiomatic set theory were taking shape, and Hilbert's formalistic logic and Brouwer's intuitionistic mathematics were openly confronting each other. This book is the revised translation of the second edition of the author's German language book "Die Gödel'schen Unvollständigkeitssätze".

Product Specifications

Brand: Springer
Format: Paperback
ASIN: 3662695499
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 31 August 2024
Listed Since: 15 May 2024

Barcode

No barcode data available

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

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

Godel's Way: Exploits into an undecidable world

Logic for Mathematicians

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

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Mathematical Logic through Python

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Logic and Structure (Universitext)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

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

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

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

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

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

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

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

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

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

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

An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details: 70 (Synthese Library, 70)

Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)

Logic with Trees: An Introduction to Symbolic Logic

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)