Weihrauch 复杂度与哈根可计算分析学派
逻辑
2023-02-09 v1
摘要
Weihrauch 复杂度如今已成为数学逻辑中一个确立且活跃的分支。它可被视为一种对数学问题的均匀计算内容进行归类的可计算性理论方法。该理论已成为逆数学领域中更具证明论色彩与更具可计算性理论色彩的研究之间的重要接口。在此，我们呈现由三十多年前起步的哈根可计算分析学派所推动的 Weihrauch 复杂度早期发展的历史记述，并指出这如何影响了、启迪了并预示了该主题更近期的发展。
关键词
引用
@article{arxiv.2203.06166,
title = {Weihrauch Complexity and the Hagen School of Computable Analysis},
author = {Vasco Brattka},
journal= {arXiv preprint arXiv:2203.06166},
year = {2023}
}