|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910482885103321 |
|
|
Autore |
Shoenfield Joseph R (Joseph Robert), <1927-> |
|
|
Titolo |
Recursion theory |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer, , 1993 |
|
©1993 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (89 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Logic ; ; v.1 |
|
|
|
|
|
|
Altri autori (Persone) |
|
GirardJ.-Y |
LachlanAlistair H |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Lecture Notes in Logic 1 Recursion Theory -- Recursion Theory -- Copyright -- Introduction -- CONTENTS -- 1. Computability -- 2. Functions and Relations -- 3. The Basic Machine -- 4. Macros -- 5. Closure Properties -- 6. Definitions of Recursive Functions -- 7. Codes -- 8. Indices -- 9. Church's Thesis -- 10. Word Problems -- 11. Undecidable Theories -- 12. Relative Recursion -- 13. The Arithmetical Hierarchy -- 14. Recursively Enumerable Relations -- 15. Degrees -- 16. Evaluation of Degrees -- 17. Large RE Sets -- 18. Function of Reals -- 19. The Analytical Hierarchy -- 20. The Projective Hierarchy -- Suggestions for Further Reading -- Index. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
These notes originated in a one semester course given several times at Duke University. Students were generally graduate students in mathematics or computer science. They were expected to have a considerable degree of mathematical maturity. While there were no specific prerequisites, it was desirable that the student has some knowledge of elementary logic and computer programming. To appreciate some of the applications, it was desirable to have at least a slight acquaintance with some other mathematical topics, such as group theory and Borel sets. My main object was to prepare the student for studying advanced books and journal articles in recursion theory. I therefore attempted to introduce as many as possible of the topics which are of interest in contemporary research without going deeply |
|
|
|
|