Proven Impossible: Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More - Image 1

£54.19

Cambridge University Press Proven Impossible: Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More

Name: Proven Impossible: Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Godel, Turing and More
Brand: Cambridge University Press
Price: 51.11 GBP
Availability: InStock

Algorithms

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 50 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £54 (34 days, 68.0%)

Price range: £51 - £54

Price levels: 3 different prices over 50 days

Description

In mathematics, it simply is not true that 'you can't prove a negative'. Many revolutionary impossibility theorems reveal profound properties of logic, computation, fairness and the universe, and form the mathematical background of new technologies and Nobel prizes. But to fully appreciate these theorems and their impact on mathematics and beyond, you must understand their proofs. This book is the first to present these proofs for a broad, lay audience. It fully develops the simplest rigorous proofs found in the literature, reworked to contain less jargon and notation, and more background, intuition, examples, explanations, and exercises. Amazingly, all of the proofs in this book involve only arithmetic and basic logic – and are elementary, starting only from first principles and definitions. Very little background knowledge is required, and no specialized mathematical training – all you need is the discipline to follow logical arguments and a pen in your hand.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 1009349503
Category: Books > Subjects > Computing & Internet > Programming > Algorithms
Domain: Amazon UK
Release Date: 18 January 2024
Listed Since: 16 June 2023

Barcode

No barcode data available

Cambridge University Press Proven Impossible: Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

How to Prove It: A Structured Approach

A Bridge to Higher Mathematics (Textbooks in Mathematics)

Logic for Mathematicians

Introduction to Mathematical Proofs: A Transition to Advanced Mathematics: 26 (Textbooks in Mathematics)

Logical Foundations of Proof Complexity (Perspectives in Logic)

Springer - Reverse Mathematics: Problems, Reductions, and Proofs

Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)

Introduction to Proof Through Number Theory (Pure and Applied Undergraduate Texts)

Proof Complexity Generators: Series Number 497 (London Mathematical Society Lecture Note Series, Series Number 497)

Proof Complexity: 170 (Encyclopedia of Mathematics and its Applications, Series Number 170)

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

Type Theory and Formal Proof: An Introduction

The History of Mathematical Proof in Ancient Traditions

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

Mathematical Logic through Python

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

Fundamentals of Mathematics: An Introduction to Proofs, Logic, Sets, and Numbers

Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

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

A Bridge to Higher Mathematics: 43 (Textbooks in Mathematics)

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

Proof Techniques: The All in One Textbook (Haneul Choi Mathematics Textbooks)

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