Smale, Steve

Complexity and Real Computation

by Blum, Lenore ., Cucker, Felipe, Shub, Michael, Smale, Steve

0 Type: Book

Computational complexity theory provides a framework for understanding the cost of solving computational problems, as measured by the requirement for resources such as time and space. The objects of study are algorithms defined within a formal model of computation. Upper bounds …

Complexity and Real Computation

by Blum, Lenore ., Cucker, Felipe, Shub, Michael, Smale, Steve

0 Type: Book

The classical theory of computation has its origins in the work of Goedel, Turing, Church, and Kleene and has been an extraordinarily successful framework for theoretical computer science. The thesis of this book, however, is that it provides an inadequate foundation for modern …