查看“︁分类:数理逻辑”︁的源代码

[[分类:数学]]

数理逻辑是研究逻辑或形式逻辑的学科，也称符号逻辑。数理逻辑是数学的一个分支，在基础数学（纯粹数学）下，也是哲学学科下逻辑学的一个分支。在数理逻辑中，[[证明]]和计算等直观的概念被符号化成形式系统并得到研究。数理逻辑下的主要分支包括逻辑演算（即[[:分类:命题逻辑]]和[[:分类:谓词逻辑]]等）、[[:分类:模型论]]、[[:分类:证明论]]、递归论和[[:分类:公理集合论]]等。

尽管数理逻辑看似与程序设计关系不密切， [[Curry–Howard 同构]]却给出了证明与程序之间的等价性，使得以 [[λ 演算]]为代表的理想程序语言理论被提出。