People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010 /

• Κύριοι συγγραφείς: Lipton, Richard J. (Συγγραφέας), Regan, Kenneth W. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Θέματα: Computer science.; Computers.; Computer science > Mathematics.; Mathematics.; History.; Computer Science.; Theory of Computation.; History of Computing.; Mathematics of Computing.; History of Mathematical Sciences.

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