机构名称：
¥ 1.0
然后具有“近似曲线” .x t /将其收敛到t的固定点t！1。这是赖希（Reich）在1980年首次显示的[29]，在这一结果十三年后，希尔伯特空间被Browder [3]和Halpern [11]独立证明了这一结果，在13年中，在任何L P空间中都不知道这种结果是不正确的。在最近的一篇论文[18]中，科伦巴赫和作者为上述结果提取了“ Metastabil的速率”，我们现在将详细说明这是我们的含义。该论文属于“证明挖掘”的研究计划，该计划旨在使用数学逻辑中的工具（解释性证明理论）分析主流数学的证明，以便提取可能立即明显的（有关更多详细信息，请参见[13]和最近的调查[15]）。类似于上述收敛定理的此类附加内容自然是收敛速率，但是在这种情况下是反例（由于例如neumann [23]）表明，即使在欧几里得空间中也无法存在可计算速率。在大多数情况下，在大多数情况下，在理论上的挖掘保证的理论结果 - “ Metatheorems”是可提取的，是上述的亚竞争速率 - 在Terence Tao [31，32]的意义上，该名称是由Jennifer Chayes建议的，这是詹妮弗·夏伊斯（Jennifer Chayes） - 这是n和div> n和div>
增生操作员的定量标准化
主要关键词
相关文件推荐
