  Algorithmic fractal dimensions -- constructs of computability theory -- have
recently been used to answer open questions in classical geometric measure
theory, questions of mathematical analysis whose statements do not involve
computability theory or logic. We survey these developments and the prospects
for future such results.
