Ordinal Computability : An Introduction to Infinitary Machines / Merlin Carl.

Format:

Book

Author/Creator:

Carl, Merlin, Author.

Series:

De Gruyter series in logic and its applications ; 9.

De Gruyter Series in Logic and Its Applications ; 9

Language:

English

Subjects (All):

Computable functions.

Physical Description:

1 online resource (viii, 333 pages).

Place of Publication:

Berlin ; Boston : De Gruyter, [2019]

Language Note:

In English.

Summary:

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:

Frontmatter

Contents

1. Introduction

2. Machine models of transfinite computability

3. Computability strength

4. Recognizability

5. Randomness

6. Degree theory

7. Complexity

8. Applications and interactions

9. Philosophical aspects

Bibliography

Index

De Gruyter Series in Logic and Its Applications

Notes:

Description based on online resource; title from PDF title page (publisher's Web site, viewed 06. Apr 2020)

ISBN:

9783110492910

3110492911

9783110496154

3110496151

OCLC:

1125186938