证明论

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