3数学的真理性.ppt

数学思想方法;第三章 数学的真理性;第一节 数学的证明和科学的证明;二、数学的证明 数学上的证明是以一些基本概念和基本公理为基础，使用合乎逻辑的推理决定判断是否正确。 数学中的判断成为命题。 因此“一个命题如果是真，它必须且只须是由这样一串命题的最后一个，其中每个命题或者是形式系统的一条公理，或者是有一条法则所推导出的命题。”;三、科学的证明 科学证明不同于数学证明，它依赖于观察、试验和理解力，而这些都容易出错。 在科学学科中，一个假设被提出来，用以解释某类现象。如果对现象的观察与这个假设相符，就成为这个假设成立的证据。如果再次被证实，则就有更多证据支持这个假设，当证据的数量达到压倒的程度时，这个假设就作为一个理论被接受。如果当这种理论最终被证明是错的，就会有新的理论来代替。;数学证明则不同，???有绝对的意义。经过数学证明的结果是无可怀疑的，经得起时间的考验的。应为它是依赖逻辑，是演绎证明，不依赖于观察和实验。 ;四、数学证明的功用 数学证明不仅能告诉我们命题的真伪，也能告诉我们命题的内涵以及事物之间的关系。 数学证明的功用主要体现如下三个方面： 1．核实命题 2．理解命题 3．发现命题;第二节 数学的公理化;二、公理化的发展 为了消除对欧几里得第五公设的疑虑，诞生了非欧几何，这是人们对几何公理的实质有了更深刻的认知。非欧几何的出现极大的推动了公理化的发展，而公理化的进一步发