论文部分内容阅读
概念与正确命题的逻辑体系是数学在人们面前的最终展现,由此可见,严密论证在数学学科中是当仁不让的中心,不过,我们也不难发现围绕猜想性命题的数学活动始终指向了提出证明和进行“证伪”这两个方向.数理逻辑与数学方法论从不同角度对前一个方向都进行了大量的研究并获得了很多成果,相对而言,后一个方向的研究却是比较鲜见的.