然后具有“近似曲线” .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>
1998年,多伦多田野学院的客座教授课程。2000年欧盟英国的5年董事职位。2002年欧洲科学基金会科学计划的5年主席。2003年伯努利学会的L´evy演讲,里约热内卢。2004年,斯德哥尔摩欧洲数学大会邀请演讲。2005年当选为荷兰皇家科学院。 2006年,杰出的杰出主席是温哥华数学科学研究所。 2007 Saint-Flour概率讲座。 2010年邀请了海得拉巴国际数学家大会的演讲。 2010年授予欧洲研究委员会的5年高级赠款。 2011波恩研究主席,波恩·霍斯多数学中心。 2012年当选为美国数学学会的就职会员。 2013年选举了数学统计研究所的会员。 2013年荷兰教育文化与科学教育部共同授予10年重力赠款网络。 2016年Mahalanobis讲座,印度统计研究所,班加罗尔 - 迪尔希 - 科尔卡塔。 2016年荣誉博士学位的推广者授予詹妮弗·夏耶斯(Jennifer Chayes)2005年当选为荷兰皇家科学院。2006年,杰出的杰出主席是温哥华数学科学研究所。2007 Saint-Flour概率讲座。2010年邀请了海得拉巴国际数学家大会的演讲。2010年授予欧洲研究委员会的5年高级赠款。2011波恩研究主席,波恩·霍斯多数学中心。2012年当选为美国数学学会的就职会员。2013年选举了数学统计研究所的会员。2013年荷兰教育文化与科学教育部共同授予10年重力赠款网络。2016年Mahalanobis讲座,印度统计研究所,班加罗尔 - 迪尔希 - 科尔卡塔。2016年荣誉博士学位的推广者授予詹妮弗·夏耶斯(Jennifer Chayes)