数理逻辑
分类
领域
无论在数理逻辑领域还是在自动定理证明领域，都没有所谓“哥德尔风格”的演绎和证明。
文章
哥德尔的工作的确显示了数理逻辑领域内形式化方法论有穷方法限制的局限性，但是其有效性仅限于数理逻辑的部分领域，根本不超出数理逻辑到整个逻辑学以及数学。
文章
当然
笔者在本系列前面的文章中就说过：“任何逻辑学、数学、以及众多科学理论都必然地基于一些基本假设或者第一原理而构建的，数理逻辑当然也不例外。
文章
学者
”因为哥德尔早年工作成果是著名的“完全性定理”和“不完全性定理”，所以，数理逻辑学家或者多少懂点数理逻辑的学者不会毫无交代地冒头第一句就来个“哥德尔定理”。
文章
基础
哥德尔的工作是基于当时的经典数理逻辑基础的，其两个定理也都设定有严格的前提条件。
文章
与哲学逻辑”
[5]程京德，“‘逻辑’与‘逻辑学’(5)–‘逻辑学’的理性或经验性（‘量子力学的逻辑’为例）”，微信公众号“数理逻辑与哲学逻辑”，科学网博客，2024年11月25日。
文章
“‘逻辑’与‘逻辑学’(1)--起源、定义、异同（增补版）”，微信公众号“数理逻辑与哲学逻辑”，2024年11月10日。
文章
”，微信公众号“数理逻辑与哲学逻辑”，科学网博客，2024年11月5日。
文章
[2]程京德，“‘逻辑’与‘逻辑学’(1)--起源、定义、异同”，微信公众号“数理逻辑与哲学逻辑”，科学网博客，2024年10月12日；
文章
“悖论集锦(2)-作为逻辑学中最大难题的蕴涵悖论问题（下）”，微信公众号“数理逻辑与哲学逻辑”，科学网博客，2024年4月18日。
文章
[16]程京德，“悖论集锦(2)–作为逻辑学中最大难题的蕴涵悖论问题（上）”，微信公众号“数理逻辑与哲学逻辑”，科学网博客，2024年3月18日；
文章
“强相关逻辑及其应用（下）”，微信公众号“数理逻辑与哲学逻辑”，科学网博客，2023年8月12日。
文章
“强相关逻辑及其应用（中）”，微信公众号“数理逻辑与哲学逻辑”，科学网博客，2023年8月8日；
文章
[15]程京德，“现代逻辑之未来–从相关逻辑到量子逻辑（纲要）”，微信公众号“数理逻辑与哲学逻辑”，科学网博客，2023年7月25日。
文章
[17]程京德，“强相关逻辑及其应用（上）”，微信公众号“数理逻辑与哲学逻辑”，科学网博客，2023年6月18日；
文章
悖论集锦(2)–作为逻辑学中最大难题的蕴涵悖论问题（上）（修订增补版）”，微信公众号“数理逻辑与哲学逻辑”，2023年4月11日；
文章
”，微信公众号“数理逻辑与哲学逻辑”，科学网博客，2023年1月28日。
文章
”微信公众号“数理逻辑与哲学逻辑”，科学网博客，2023年1月25日。
文章
效果
所以，哥氏定理当然会在数理逻辑领域促进某些方向的进展（比如证明论），但是其内容不会对数理逻辑领域的其它方向给予积极的影响，更不用说影响到数理逻辑之外的数学领域或其它科学领域甚至工程技术问题了。
文章
其它
”这是原作者数理逻辑概念不清，区分不了语构/证明论概念和语义/模型论概念的佐证。
文章
