People, problems, and proofs : essays from Gödel's Lost Letter: 2010 / Richard J. Lipton, Kenneth W. Regan.
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...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Heidelberg ; New York :
Springer,
[2013]
|
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA267.7 .L57 2013eb
|
|---|---|
| QA267.7 .L57 2013eb | Available |