An early history of recursive functions and computability from Gödel to Turing
Traces the development of recursive functions from their origins in the late nineteenth century to the mid-1930s, with particular emphasis on the work and influence of Kurt Gödel
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Boston :
Docent Press
cop. 2011
|
| Edición: | New ed |
| Materias: | |
| Ver en Universidad de Navarra: | https://unika.unav.edu/discovery/fulldisplay?docid=alma991003786869708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es |
| Sumario: | Traces the development of recursive functions from their origins in the late nineteenth century to the mid-1930s, with particular emphasis on the work and influence of Kurt Gödel |
|---|---|
| Descripción Física: | xi, 297 p. ; 23 cm |
| Bibliografía: | Incluye referencias bibkiográficas (p. 289-297). |
| ISBN: | 9780983700401 9780792359043 |
