generated at
数理論理学
数理論理学(すうりろんりがく、Mathematical Logic)

集合論や論理学証明論など、数学、計算機科学の基礎になる系の分野

再帰理論

計算理論
計算モデル



確認用
Q. 数理論理学

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

関連