Proven Impossible - Elementary Proofs of Profound Impossibility From Arrow, Bell,

List of contents

Preface; 1. Yes you can prove a negative!; 2. Bell's impossibility theorem(s); 3. Enjoying Bell magic; 4. Arrow's (and friends') impossibility theorems; 5. Clustering and impossibility; 6. Gödel-ish impossibility; 7. Turing undecidability and incompleteness; 8. Chaitin's theorem: More devastating; 9. Gödel (for real, this time).

About the author

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.

Product details

• Authors: Dan Gusfield, Dan (University of California Gusfield, Gusfield Dan
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 01.12.2023
• EAN: 9781009349505
• ISBN: 978-1-0-0934950-5
• No. of pages: 270
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; Non-fiction book > Nature, technology > Natural science; SCIENCE / Physics / Quantum Theory, MATHEMATICS / Applied, COMPUTERS / Logic Design, MATHEMATICS / Discrete Mathematics, COMPUTERS / Programming / Algorithms, MATHEMATICS / Recreations & Games, algorithms and data structures, Quantum physics (quantum mechanics & quantum field theory), Quantum physics (quantum mechanics and quantum field theory), Algorithms & data structures, Applied mathematics, Maths for computer scientists, Popular and recreational mathematics, Computer architecture & logic design, Programming & scripting languages: general, Popular mathematics, COMPUTERS / Computer Architecture, Computer architecture and logic design, Programming and scripting languages: general, COMPUTERS / Languages / General