发布网友 发布时间:2022-04-25 16:42
我来回答
共1个回答
热心网友 时间:2023-10-19 09:31
主条目:数理逻辑数学逻辑专注在将数学置于一坚固的公理架构上,并研究此一架构的成果.就其本身而言,其为哥德尔第二不完备定理的产地,而这或许是逻辑中最广为流传的成果.现代逻辑被分成递归论、模型论和证明论,且和理论计算机科学有着密切的关联性.