分类:数理逻辑维基媒体分类 / 维基百科,自由的 encyclopedia 数理逻辑在日常使用中有多种意义。它最初是指符号逻辑或形式逻辑,接着变成了关于数学的逻辑、数学基础,甚至数学的哲学的研究。当代,“数理逻辑学”是指关于符号化“证明”和“计算”的形式公理系统、可数学模式化的逻辑、形式可定义性的研究。数理逻辑被分成四部分: 模型论 证明论 递归论,也叫做可计算性理论 集合论 在这些领域之间和在数理逻辑与数学的余下部分之间的划分是不完全清晰的,很多研究领域是相互交叠和支援的。 维基共享资源上的相关多媒体资源:数理逻辑
数理逻辑在日常使用中有多种意义。它最初是指符号逻辑或形式逻辑,接着变成了关于数学的逻辑、数学基础,甚至数学的哲学的研究。当代,“数理逻辑学”是指关于符号化“证明”和“计算”的形式公理系统、可数学模式化的逻辑、形式可定义性的研究。数理逻辑被分成四部分: 模型论 证明论 递归论,也叫做可计算性理论 集合论 在这些领域之间和在数理逻辑与数学的余下部分之间的划分是不完全清晰的,很多研究领域是相互交叠和支援的。 维基共享资源上的相关多媒体资源:数理逻辑