|
|||||
|
|
An Invitation to Infinitary Computability |
|
| Authors: | Merlin Carl |
| Institution: | Universität Konstanz, 78457 Konstanz, Germany |
| Abstract: | In the last two decades, various machine models of computability have been generalized to work in the transfinite. I will give an overview of these models, some of the main results concerning them and some reasons why studying them is of interest outside of foundational considerations. (© 2016 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim) |
| Keywords: | |