Non-Algorithmic Dimensions