关于希尔伯特一致性纲领目标与第二不完备性定理之间的鸿沟
逻辑
2018-11-16 v2
摘要
在过去 25 年中，我们发表了数篇关于第二不完备性定理的推广与边界情形例外的文章。本文回顾我们部分先前结果，并引入一种“ enriched”的语义表推理细化。尽管第二不完备性定理是一个强结果，我们将强调其边界情形例外与全球变暖的威胁密切相关，因为我们的系统可同时拥有关于自身一致性的知识，以及对皮亚诺算术(Peano Arithmetic)的 蕴含的理解。
引用
@article{arxiv.1807.04717,
title = {About the Chasm Separating the Goals of Hilbert's Consistency Program from the Second Incompletess Theorem},
author = {Dan E. Willard},
journal= {arXiv preprint arXiv:1807.04717},
year = {2018}
}
备注
The bibliography section of this article contains citations to all of Willard's major papers prior to 2018 about logic