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 Great Changes and Social Governance in Contemporary China by Kenneth W. Regan, Richard J. Lipton
Cover of the book Practice of Intramedullary Locked Nails by Kenneth W. Regan, Richard J. Lipton
Cover of the book Costs and Benefits in Health Care and Prevention by Kenneth W. Regan, Richard J. Lipton
Cover of the book Rheumatic Valvular Disease in Children by Kenneth W. Regan, Richard J. Lipton
Cover of the book Geometric Aspects of Functional Analysis by Kenneth W. Regan, Richard J. Lipton
Cover of the book Vascular Andrology by Kenneth W. Regan, Richard J. Lipton
Cover of the book CSR und Nachhaltige Innovation by Kenneth W. Regan, Richard J. Lipton
Cover of the book Kulturwandel in Organisationen by Kenneth W. Regan, Richard J. Lipton
Cover of the book Führungskompetenz für Leitende Ärzte by Kenneth W. Regan, Richard J. Lipton
Cover of the book Endocrine Disruptors by Kenneth W. Regan, Richard J. Lipton
Cover of the book Durability of Building Materials and Components by Kenneth W. Regan, Richard J. Lipton
Cover of the book Model-Driven Dependability Assessment of Software Systems by Kenneth W. Regan, Richard J. Lipton
Cover of the book Protein Quality Control in Neurodegenerative Diseases by Kenneth W. Regan, Richard J. Lipton
Cover of the book Cervical Spine: Tricks and Traps by Kenneth W. Regan, Richard J. Lipton
Cover of the book Biotechnology in China I 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