Skip to main content alibris logo

People, Problems, and Proofs: Essays from Godel's Lost Letter: 2010

by ,

Write The First Customer Review
People, Problems, and Proofs: Essays from Gödel's Lost Letter: 2010 - Lipton, Richard J, and Regan, Kenneth W
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

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

loading
People, Problems, and Proofs: Essays from Gödel's Lost Letter: 2010 2016, Springer, Berlin, Heidelberg

ISBN-13: 9783662523018

Trade paperback

People, Problems, and Proofs: Essays from Gödel's Lost Letter: 2010 2013, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Berlin

ISBN-13: 9783642414213

Hardcover