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
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Inglés |
| Published: |
Boston :
Docent Press
cop. 2011
|
| Edition: | New ed |
| Subjects: | |
| See on 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 |
| Summary: | 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 |
|---|---|
| Physical Description: | xi, 297 p. ; 23 cm |
| Bibliography: | Incluye referencias bibkiográficas (p. 289-297). |
| ISBN: | 9780983700401 9780792359043 |
