计算理论如何回答分析学中的问题：谁问了我们？
计算复杂性
2019-12-03 v1
摘要
算法分形维数——可计算性理论的构造——近来已被用于回答经典几何测度论中的开放问题，这些数学分析问题的陈述不涉及可计算性理论或逻辑。我们综述了这些进展以及未来取得此类结果的前景。
引用
@article{arxiv.1912.00284,
title = {Who Asked Us? How the Theory of Computing Answers Questions about Analysis},
author = {Jack H. Lutz and Neil Lutz},
journal= {arXiv preprint arXiv:1912.00284},
year = {2019}
}