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

Dan Gusfield

ISBN 10: 100934949X / ISBN 13: 9781009349499

Editore: Cambridge University Pr. Nov 2023, 2023

Riguardo questo articolo

Neuware - 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.

Codice articolo 9781009349499

Dati bibliografici

• Titolo: Proven Impossible : Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More
• Editore: Cambridge University Pr. Nov 2023
• Data di pubblicazione: 2023
• Lingua: Inglese
• ISBN 10: 100934949X
• ISBN 13: 9781009349499
• Rilegatura: Taschenbuch
• Condizione: Neu

Descrizione articolo

Riassunto

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.