On the incomputability of computable dimension

Abstract

Using an iterative tree construction we show that for simple computable subsets of the Cantor space Hausdorff, constructive and computable dimensions might be incomputable.

Keywords

• computer science - logic in computer science
• 68q30, 03d32