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

£45.84

A K Peters/CRC Press Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16

Name: Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16
Brand: A K Peters/CRC Press
Price: 45.84 GBP
Availability: InStock

Set Theory

It has never been this cheap. We have no record of a lower price.

£46 today · cheaper than every other day in the last 3 months

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 64 days · 64 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 64 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £51 (36 days, 56.3%)

Price range: £46 - £51

Price levels: 3 different prices over 64 days

Description

Gödel's Incompleteness Theorems are among the most significant results in the foundation of mathematics. These results have a positive consequence: any system of axioms for mathematics that we recognize as correct can be properly extended by adding as a new axiom a formal statement expressing that the original system is consistent. This suggests that our mathematical knowledge is inexhaustible, an essentially philosophical topic to which this book is devoted. Basic material in predicate logic, set theory and recursion theory is presented, leading to a proof of incompleteness theorems. The inexhaustibility of mathematical knowledge is treated based on the concept of transfinite progressions of theories as conceived by Turing and Feferman. All concepts and results necessary to understand the arguments are introduced as needed, making the presentation self-contained and thorough.

Product Specifications

Brand: A K Peters/CRC Press
Format: paperback
ASIN: 1568811756
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Set Theory
Domain: Amazon UK
Release Date: 09 February 2004
Listed Since: 12 December 2006

Barcode

No barcode data available

A K Peters/CRC Press Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Cambridge Mathematics of Logic - Completeness Theorems Guide

A Mathematical Prelude to the Philosophy of Mathematics

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

A Model–Theoretic Approach to Proof Theory: 51 (Trends in Logic, 51)

The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 (Source Books in the History of the Sciences)

Foundations of Finitely Supported Structures: A Set Theoretical Viewpoint

Cambridge Logical Foundations of Proof Complexity Book

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science (Springer Undergraduate Texts in Philosophy)

There's Something About Gödel: The Complete Guide to the Incompleteness Theorem

Foundations of Finitely Supported Structures: A Set Theoretical Viewpoint

Advances in Proof Theory: 28 (Progress in Computer Science and Applied Logic, 28)

Logics for Computer Science: Classical and Non-Classical

Feferman on Foundations: Logic, Mathematics, Philosophy: 13 (Outstanding Contributions to Logic, 13)

Truth, Objects, Infinity: New Perspectives on the Philosophy of Paul Benacerraf: 28 (Logic, Epistemology, and the Unity of Science, 28)

A Course on Set Theory

LMS: 45 Recursion Theory, Applns: Its Generalisations & Applications, Proceedings of Logic Colloquim '79, Leeds, Aug. 1979 (London Mathematical Society Lecture Note Series, Series Number 45)

Mathematics and Its Logics: Philosophical Essays

Bounded Queries in Recursion Theory: 16 (Progress in Computer Science and Applied Logic, 16)

A Logical Foundation for Potentialist Set Theory

Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Objectivity, Realism, and Proof: FilMat Studies in the Philosophy of Mathematics: 318 (Boston Studies in the Philosophy and History of Science, 318)

Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)