研究数学证明的理论。数理逻辑的分支学科。它以数学的无矛盾性和判定问题等为研究对象。数学的无矛盾性是关于数学基础的研究,而判定问题不仅本身较前者研究的内容更为广泛,而且与算法和计算机科学也紧密地联系在一起。证 (本文共 466 字 ) [阅读本文] >>
海量资源,尽在掌握
 研究数学证明的理论。数理逻辑的分支学科。它以数学的无矛盾性和判定问题等为研究对象。数学的无矛盾性是关于数学基础的研究,而判定问题不仅本身较前者研究的内容更为广泛,而且与算法和计算机科学也紧密地联系在一起。证 (本文共 466 字 ) [阅读本文] >>