数学与计算

关于计算机数学的博客

帖子按类别按年计算全部的

综合可计算性类别中的帖子

在迪特·斯普林75岁生日之际逻辑与分析杂志.我已经提交了一篇论文“Spreen空间和综合Kreisel-Lacombe-Shoenfield-Tseitin定理”,作为预印本提供arXiv:2307.07830这对Dieter关于可计算函数连续性的著名定理的推广形成了建设性的解释。在这篇文章中,我解释了这篇论文是如何适应更一般的连续性原则主题的。

继续阅读
帖子按类别按年计算全部的