ENGLISH

Ordinal Computability: An Introduction to Infinitary Machines

By Merlin Carl

Book information

Publisher
de Gruyter
Year
2019
ISBN
3110496151, 9783110496154
Language
english
Format
PDF
Filesize
4 MB (4303948 bytes)
Series
De Gruyter Series in Logic and Its Applications 9
Pages
343\342
Topic
Mathematics Logic
Time added
2019-11-04 07:18:47

Description

Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite working time and space. In particular, recognizability, randomness, and applications to other areas of mathematics are covered. Contents......Page 5 1. Introduction......Page 9 2. Machine models of transfinite computability......Page 17 3. Computability strength......Page 85 4. Recognizability......Page 165 5. Randomness......Page 203 6. Degree theory......Page 227 7. Complexity......Page 247 8. Applications and interactions......Page 265 9. Philosophical aspects......Page 285 Bibliography......Page 321 Index......Page 331

Similar books

Session C11: Ancient Cultural Landscapes in South Europe – their Ecological Setting and Evolution, Session C22: Gardeners from South America, Session S04: Agro-Pastoralism and Early Metallurgy Sessions, Session WS29: The Idea of Enclosure in Recent Iberian Prehistory, Session C88: Rhytmes et causalites des dynamiques de l'anthropisation en Europe entre 6500 ET 500 BC: Hypotheses socio-culturelles et/ou climatiques: Proceedings of the XV UISPP World Congress (Lisbon 4-9 September 2006) / Actes du XV Congrès Mondial (Lisbonne 4-9 Septembre 2006) Vol.36

Session C11: Ancient Cultural Landscapes in South Europe – their Ecological Setting and Evolution, Session C22: Gardeners from South America, Session S04: Agro-Pastoralism and Early Metallurgy Sessions, Session WS29: The Idea of Enclosure in Recent Iberian Prehistory, Session C88: Rhytmes et causalites des dynamiques de l'anthropisation en Europe entre 6500 ET 500 BC: Hypotheses socio-culturelles et/ou climatiques: Proceedings of the XV UISPP World Congress (Lisbon 4-9 September 2006) / Actes du XV Congrès Mondial (Lisbonne 4-9 Septembre 2006) Vol.36

2010 · PDF