People, Problems, and Proofs

Essays from Gödel's Lost Letter: 2010

Nonfiction, Computers, General Computing, Reference, Advanced Computing, Computer Science
Cover of the book People, Problems, and Proofs by Kenneth W. Regan, Richard J. Lipton, Springer Berlin Heidelberg
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Kenneth W. Regan, Richard J. Lipton ISBN: 9783642414220
Publisher: Springer Berlin Heidelberg Publication: December 11, 2013
Imprint: Springer Language: English
Author: Kenneth W. Regan, Richard J. Lipton
ISBN: 9783642414220
Publisher: Springer Berlin Heidelberg
Publication: December 11, 2013
Imprint: Springer
Language: English

People, problems, and proofs are the lifeblood of theoretical computer science. Behind the computing devices and applications that have transformed our lives are clever algorithms, and for every worthwhile algorithm there is a problem that it solves and a proof that it works. Before this proof there was an open problem: can one create an efficient algorithm to solve the computational problem? And, finally, behind these questions are the people who are excited about these fundamental issues in our computational world.

In this book the authors draw on their outstanding research and teaching experience to showcase some key people and ideas in the domain of theoretical computer science, particularly in computational complexity and algorithms, and related mathematical topics. They show evidence of the considerable scholarship that supports this young field, and they balance an impressive breadth of topics with the depth necessary to reveal the power and the relevance of the work described.

Beyond this, the authors discuss the sustained effort of their community, revealing much about the culture of their field. A career in theoretical computer science at the top level is a vocation: the work is hard, and in addition to the obvious requirements such as intellect and training, the vignettes in this book demonstrate the importance of human factors such as personality, instinct, creativity, ambition, tenacity, and luck.

The authors' style is characterize

d by personal observations, enthusiasm, and humor, and this book will be a source of inspiration and guidance for graduate students and researchers engaged with or planning careers in theoretical computer science.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

People, problems, and proofs are the lifeblood of theoretical computer science. Behind the computing devices and applications that have transformed our lives are clever algorithms, and for every worthwhile algorithm there is a problem that it solves and a proof that it works. Before this proof there was an open problem: can one create an efficient algorithm to solve the computational problem? And, finally, behind these questions are the people who are excited about these fundamental issues in our computational world.

In this book the authors draw on their outstanding research and teaching experience to showcase some key people and ideas in the domain of theoretical computer science, particularly in computational complexity and algorithms, and related mathematical topics. They show evidence of the considerable scholarship that supports this young field, and they balance an impressive breadth of topics with the depth necessary to reveal the power and the relevance of the work described.

Beyond this, the authors discuss the sustained effort of their community, revealing much about the culture of their field. A career in theoretical computer science at the top level is a vocation: the work is hard, and in addition to the obvious requirements such as intellect and training, the vignettes in this book demonstrate the importance of human factors such as personality, instinct, creativity, ambition, tenacity, and luck.

The authors' style is characterize

d by personal observations, enthusiasm, and humor, and this book will be a source of inspiration and guidance for graduate students and researchers engaged with or planning careers in theoretical computer science.

More books from Springer Berlin Heidelberg

Cover of the book Die Softwareindustrie by Kenneth W. Regan, Richard J. Lipton
Cover of the book Numerische Methoden der Technischen Akustik by Kenneth W. Regan, Richard J. Lipton
Cover of the book Voilà un homme - Über Goethe, die Menschen und das Leben by Kenneth W. Regan, Richard J. Lipton
Cover of the book From Atom Optics to Quantum Simulation by Kenneth W. Regan, Richard J. Lipton
Cover of the book Petrogenesis of Metamorphic Rocks by Kenneth W. Regan, Richard J. Lipton
Cover of the book Reforming the Common European Asylum System — Legislative developments and judicial activism of the European Courts by Kenneth W. Regan, Richard J. Lipton
Cover of the book The Source/Drain Engineering of Nanoscale Germanium-based MOS Devices by Kenneth W. Regan, Richard J. Lipton
Cover of the book Facebook, Twitter und Co. in Hotellerie und Gastronomie by Kenneth W. Regan, Richard J. Lipton
Cover of the book CSR und Retail Management by Kenneth W. Regan, Richard J. Lipton
Cover of the book Road News from Tibet by Kenneth W. Regan, Richard J. Lipton
Cover of the book Die Theorie, die nicht sterben wollte by Kenneth W. Regan, Richard J. Lipton
Cover of the book Alcohol Metabolism, Alcohol Intolerance, and Alcoholism by Kenneth W. Regan, Richard J. Lipton
Cover of the book Dienstübergabe in der Pflege by Kenneth W. Regan, Richard J. Lipton
Cover of the book Proceedings of the FISITA 2012 World Automotive Congress by Kenneth W. Regan, Richard J. Lipton
Cover of the book Biological Resource Management Connecting Science and Policy by Kenneth W. Regan, Richard J. Lipton
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy