数学的逻辑

发布网友 发布时间:2022-04-25 16:42

我来回答

1个回答

热心网友 时间:2023-10-19 09:31

主条目:数理逻辑
数学逻辑专注在将数学置于一坚固的公理架构上,并研究此一架构的成果.就其本身而言,其为哥德尔第二不完备定理的产地,而这或许是逻辑中最广为流传的成果.现代逻辑被分成递归论、模型论和证明论,且和理论计算机科学有着密切的关联性.

声明声明:本网页内容为用户发布,旨在传播知识,不代表本网认同其观点,若有侵权等问题请及时与本网联系,我们将在第一时间删除处理。E-MAIL:11247931@qq.com