分類:數理邏輯

維基百科,自由的百科全書
跳至導覽 跳至搜尋

數理邏輯在日常使用中有多種意義。它最初是指符號邏輯或形式邏輯,接着變成了關於數學的邏輯、數學基礎,甚至數學的哲學的研究。當代,「數理邏輯學」是指關於符號化「證明」和「計算」的形式公理系統、可數學模式化的邏輯、形式可定義性的研究。數理邏輯被分成四部份:

在這些領域之間和在數理邏輯與數學的餘下部分之間的劃分是不完全清晰的,很多研究領域是相互交疊和支援的。

子分類

此分類包含以下 16 個子分類,共 16 個。

D

J

  • 集合论(10個分類, 37個頁面)

  • 公理(1個分類, 14個頁面)

  • 递归(2個分類, 17個頁面)
  • 递归论(5個分類, 32個頁面)