Proven Impossible

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

Häftad, Engelska, 2024

AvDan Gusfield

489 kr

Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Inbunden

1 329 kr

Skickas inom 5-8 vardagar

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.

Produktinformation

Utgivningsdatum2024-01-18
Mått150 x 230 x 18 mm
Vikt448 g
FormatHäftad
SpråkEngelska
Antal sidor270
FörlagCambridge University Press
ISBN9781009349499

Tillhör följande kategorier

Tillämpad matematik inom Naturvetenskap och teknik
Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT
Populärvetenskap inom Naturvetenskap och teknik

Dan Gusfield is Distinguished Professor emeritus, and former department chair, in the Computer Science Department at University of California, Davis. He is a Fellow of the ACM, the IEEE, and the ISCB. His previous books are 'The Stable Marriage Problem' (1989, co-authored with Rob Irving); 'Strings, Trees and Sequences' (1997); 'ReCombinatorics' (2014); and 'Integer Linear Programming in Computational and Systems Biology' (2019). As this book reflects, his teaching emphasized mathematical rigor as well as accessibility and clarity. He produced over 100 hours of video lectures on a wide range of topics, now viewed over a million times on the web.

'This unique and lovely book takes us on a grand tour of the limitations of science, mathematics, and of reason itself. To appreciate what is possible we must know the impossible, and such limitations define the boundary between the two. Gusfield offers well-explained gems illustrating various limitations, showing why they arise, giving their historical context, and in contrast to other similar books for a broad audience, presenting rigorous proofs requiring limited background.' Michael Sipser, MIT