New computational paradigms : changing conceptions of what is computable
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Published: |
New York :
Springer ,
c2008
|
| Subjects: |
Table of Contents:
- 1. The turing model of computation and it's applications to logic, mathemathics, philosophy, and computer science
- 2. Logic, algorithms and complexity
- 3. Models of computation from nature
- 4. Computable analysis and real computation