數理邏輯數學子領域 / 維基百科,自由的 encyclopedia 數理邏輯(英語:Mathematical logic)是數學的一個分支,其研究對象是對證明和計算這兩個直觀概念進行符號化以後的形式系統。數理邏輯是數學基礎的一個不可缺少的組成部分。主要的子研究領域有模型論,證明論,集合論和可計算性理論。 數理邏輯的研究範圍是邏輯中可被數學模式化的部分。以前稱為符號邏輯(相對於哲學邏輯),又稱元數學。數理邏輯一般着重於研究公理系統的推斷能力和表達能力。它也包括分析正確的數學推斷來構築數學基礎。
數理邏輯(英語:Mathematical logic)是數學的一個分支,其研究對象是對證明和計算這兩個直觀概念進行符號化以後的形式系統。數理邏輯是數學基礎的一個不可缺少的組成部分。主要的子研究領域有模型論,證明論,集合論和可計算性理論。 數理邏輯的研究範圍是邏輯中可被數學模式化的部分。以前稱為符號邏輯(相對於哲學邏輯),又稱元數學。數理邏輯一般着重於研究公理系統的推斷能力和表達能力。它也包括分析正確的數學推斷來構築數學基礎。