Category:數理邏輯

维基百科,自由的百科全书
跳到导航 跳到搜索

数理逻辑在日常使用中有多种意义。它最初是指符号邏輯或形式逻辑,接着变成了关于数学的逻辑、数学基础,甚至数学的哲学的研究。当代,「数理逻辑学」是指關於符號化「證明」和「計算」的形式公理系统、可數學模式化的邏輯、形式可定义性的研究。数理逻辑被分成四部份:

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

子分类

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

D

J

  • 公理(2个分类, 15个页面)

  • 递归(2个分类, 17个页面)
  • 递归论(5个分类, 32个页面)