现在我发现了一个支持我的观点的佐证:
"从1950年起在数学哲学和逻辑学方面的文献中,这已成为一个普遍共识,即希尔伯特纲要不仅已经被哥德尔不完备性定理'杀死',而且它如果不是一开始就考虑欠妥的话,就是过于野心勃勃了.尽管如此,在近来的文献中,出现了一些更积极的评价.这大部分原因是希尔伯特学派未发表的作品(尤其是希尔伯特课堂笔记)近年来得到了关注,......希尔伯特的哲学思想能够以怎样的方式得到拯救,这仍有待考察.从上一节的讨论中,无论如何都应该明确的是,那些与希尔伯特思想密切相关的成果已经取得了重大成功.......在过去半个世纪以来,证明论和希尔伯特的目标在更普遍意义上得到了巨大的推进."
理查德·扎克的基本理由是算术体系结构的建立,但他只引证了几个公理系统(PRA等)-----算术公理体系结构当前的研究进展详情参见本人著作"证明方法与理论"(国防工业出版社,2015年11月),其公理名单如下,先后次序满足相容性≤关系:
转载本文请联系原作者获取授权,同时请注明本文来自张寅生科学网博客.
• [转载]如何预测新旧学者或新旧科研基金之间的联系?