Ehrhard-Regnier derivative

新论文将图灵机与解析函数的奇点联系起来

William Troiani 的一篇新论文探讨了图灵机的结构与实解析函数奇点之间一种新颖的对应关系。这种联系是通过将线性逻辑的 Ehrhard-Regnier 导数与 Watanabe 的奇异学习理论联系起来建立的。该研究将离散的图灵机代码嵌入到平滑的噪声代码参数空间中，其中一个势函数将图灵机识别为临界点。该框架进一步将局部几何与图灵机和贝叶斯推理的内部结构联系起来，表明贝叶斯后验可以区分不同的算法实现。