Advertising:
数理逻辑是研究逻辑或形式逻辑的学科,也称符号逻辑。数理逻辑是数学的一个分支,在基础数学(纯粹数学)下,也是哲学学科下逻辑学的一个分支。在数理逻辑中,证明和计算等直观的概念被符号化成形式系统并得到研究。数理逻辑下的主要分支包括逻辑演算(即分类:命题逻辑和分类:谓词逻辑等)、分类:模型论、分类:证明论、递归论和分类:公理集合论等。
尽管数理逻辑看似与程序设计关系不密切, Curry–Howard 同构却给出了证明与程序之间的等价性,使得以 λ 演算为代表的理想程序语言理论被提出。
本分类有以下6个子分类,共有6个子分类。