| 000 -LEADER |
|---|
| fixed length control field |
02222nam a22001577a 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| ISBN |
9783030832025 (ebk) |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
511.352 |
| Item number |
T6459 2022 |
| 100 ## - MAIN ENTRY--AUTHOR NAME |
|---|
| Personal name |
Tourlakis, George, author. |
| 245 ## - TITLE STATEMENT |
|---|
| Title |
Computability / George Tourlakis. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication |
Toronto, CA : |
| Name of publisher |
Springer, |
| Year of publication |
©2022. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Number of Pages |
1 online resource, xxvi, 637 pages. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Includes bibliographical references and index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and investigate the theoretical limitations of computing. Beginning with an introduction to the mathematisation of "mechanical process" using URM programs, this textbook explains basic theory such as primitive recursive functions and predicates and sequence-coding, partial recursive functions and predicates, and loop programs. Features: Extensive and mathematically complete coverage of the limitations of logic, including Godels incompleteness theorems (first and second), Rossers version of the first incompleteness theorem, and Tarskis non expressibility of "truth" Inability of computability to detect formal theorems effectively, using Churchs proof of the unsolvability of Hilberts Entscheidungsproblem Arithmetisation-free proof of the pillars of computability: Kleenes s-m-n, universal function and normal form theorems using "Churchs thesis" and a simulation of the URM "register machine" by a simultaneous recursion. These three pivotal results lead to the deeper results of the theory Extensive coverage of the advanced topic of computation with "oracles" including an exposition of the search computability theory of Moschovakis, the first recursion theorem, Turing reducibility and Turing degrees and an application of the Sacks priority method of "preserving agreements", and the arithmetical hierarchy including Posts theorem Cobhams mathematical characterisation of the concept deterministic polynomial time computable function is fully proved A complete proof of Blums speed-up theorem. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computable functions -- Theory. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
Electronic Books |