£105.32

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

Mathematical Logic

Price data last checked 153 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

About as cheap as it gets. The only time it was cheaper was 5 months ago.

£105 today · all-time low £105 (Dec 2025) · usually the usual

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 404 days • 404 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 404 days • 9 price levels

Days at Price

Current Price

Price Analysis

Most common price: £107 (316 days, 78.2%)

Price range: £105 - £119

Price levels: 9 different prices over 404 days

Description

Incompleteness is a fascinating phenomenon at the intersection of mathematical foundations, computer science, and epistemology that places a limit on what is provable. However, despite its importance, it is often overlooked in the mathematics curricula because it is difficult to teach. This book aims to help bridge this pedagogical gap by providing a complete and accessible technical exposition of incompleteness for a wide audience. The author accomplishes this by making conceptually difficult proofs more approachable by providing intuitive explanations of the main ideas. Care is taken to emphasize the different layers of the mathematical argument – the layer within and the metalayer about an axiomatic system. Structurally, the book efficiently examines key results and arrives at some of the most interesting concepts as quickly as possible. It begins with Gödel's incompleteness theorems before continuing on to challenging concepts in the arithmetized completeness theorem, the Paris-Harrington theorem, and the independence of the continuum hypothesis. Other topics covered include the Lucas-Penrose arguments, ordinals and cardinals, and axiomatic set theory. Additionally, the author’s coverage of forcing is a notable addition to the existing literature. Introduction to Incompleteness will be of interest to researchers, students, and instructors looking for a resource to teach this topic. It may also be suitable for self-study. Knowledge of undergraduate-level theoretical mathematics or computer science is required, as well as a familiarity with abstract proofs.

Product Specifications

Format: hardcover
ASIN: 3031642163
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 31 August 2024
Listed Since: 23 May 2024

Barcode

No barcode data available

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

About as cheap as it gets. The only time it was cheaper was 5 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

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

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

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

Models of Peano Arithmetic: 15 (Oxford Logic Guides)

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

Set Theory An Introduction To Independence Proofs: 102 (Studies in Logic and the Foundations of Mathematics): Volume 102

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

A First Course in Mathematical Logic and Set Theory

Aspects of Incompleteness: 10 (Lecture Notes in Logic, Series Number 10)

An Introduction to the Language of Mathematics

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume Ii: Foundations Of Mathematics: 2

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

Logic and Structure (Universitext)

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

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

Set Theory, Logic and their Limitations

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

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

Introductory Concepts for Abstract Mathematics

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

Lectures on Infinitary Model Theory: 46 (Lecture Notes in Logic, Series Number 46)