On the incomputability of computable dimension

Autor:	Ludwig Staiger
Jazyk:	angličtina
Rok vydání:	2020
Předmět:	computer science - logic in computer science 68q30 03d32 Logic BC1-199 Electronic computers. Computer science QA75.5-76.95
Zdroj:	Logical Methods in Computer Science, Vol Volume 16, Issue 2 (2020)
Druh dokumentu:	article
ISSN:	1860-5974
DOI:	10.23638/LMCS-16(2:5)2020
Popis:	Using an iterative tree construction we show that for simple computable subsets of the Cantor space Hausdorff, constructive and computable dimensions might be incomputable.
Databáze:	Directory of Open Access Journals
Externí odkaz:	https://doaj.org/article/4b7741fa7fc14527a966268ecedee04b Zobrazit plný text záznamu View record in DOAJ