数理論理学
数理論理学(すうりろんりがく、Mathematical Logic)
計算理論
計算モデル
確認用
Q. 数理論理学
参考
数理論理学の主な目的は形式論理の数学への応用の探求や数学的な解析などであり、共通課題としては形式的体系の表現力や形式証明系の演繹の能力の研究が含まれる。
数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学(とくにACM Classification(英語版)に現れるもの)における数理論理学の役割の詳細はこの記事には含まれていない。詳細は計算機科学におけるロジック(英語版)を参照。 関連