%0 Journal Article
%T 算法随机性与逼近元<br>Algorithmic Randomness and Approximate Identities
%A 陈超
%J 逻辑学研究
%D 2018
%X 本论文将会提出逼近元微分定理的能行化版本。我们证明了在实数集上，点 x 对所有L1 可计算函数满足逼近元微分定理描绘的收敛，当且仅当x 是Schnorr 随机的。<br
%U https://studiesinlogic.sysu.edu.cn/CN/abstract/abstract327.shtml