反证法的产生.docxVIP

反证法的产生 1古希腊的反证法 在南意大利学派的影响下，其主张“一切事物都是整数”，数学知识是可靠和准确的。但随着第一次数学危机的发生，自根号二的发现，使希腊人重新审视了他们自己的数学，从此他们对以数作为基础的几何做了舍弃的选择。首次的数学发展遇到的暂时困难，使其没有办法只信靠直观与图形，所以，西方为代表的数学须以证明为主来证明数学。而他们要的是准确性的数学。它以演绎、逻辑为表现的形式。可以推断其意指算的数学与证明的数学恰恰不同。希腊人认为数值计算是几何证明之后的一个应用，他们更注重演绎与证明，指出“不要近似”，也就是要达到“明确的形式证明和公理的使用”［1］。最开始运用到反证法的是古希腊最盛名的数学家欧几里德，在他的《原本》著作里就发现有反证法的应用了，比如，质数有无数多个的论断的证明，假设命题不真，则素数只有有限多个。数学应始于绝对假设，古希腊哲学家、教育家Platon所主张的，其利用大量的逻辑推理方法得出所需论断。古希腊哲学家、伟大的思想家亚里士多德（Aristoteles）致力于应用普通逻辑至数学里，亚里士多德开始对数学概念进行探索，亚里士多德对南意大利学派的“一切事物都是整数”的主张表示不赞同，但是对公设表示认同，古希腊哲学家、伟大的思想家亚里士多德（Aristoteles）主张把原来的道理描述出来即数学证明，这样问题就可以得到解决。 2中国古代数学中的反证法 对推理演