Essays from Gödel's Lost Letter: 2010
by
Kenneth W. Regan, Richard J. Lipton
Language: English
Release Date: December 11, 2013
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...