Category:數理邏輯

维基百科,自由的百科全书
跳转至: 导航搜索

数理逻辑在日常使用中有多种意义。它最初称谓符号或形式逻辑,接着变成了关联于数学的逻辑(甚至哲学)基础的研究。在当代数理逻辑学家的用法中,这个术语称谓其研究涉及对形式公理系统和形式可定义性的做仔细关注的多个纯数学分支。数理逻辑被分成四部分:

在这些领域之间和在数理逻辑与数学的余下部分之间的划分是不完全清晰的,很多研究领域是相互交叠和支援的。

子分类

本分类有以下11个子分类,共有11个子分类。

D

J

  • 集合论(9个分类, 25个页面)

  • 公理(1个分类, 13个页面)

形 续

  • 证明论(1个分类, 15个页面)

  • 递归论(3个分类, 25个页面)