Math

数学演绎的方法论

《古今数学思想》笔记

Posted by SHIELD-SKY on August 19, 2016

Proclus和Diogenes Laertius(3世纪)把两类方法论归功于Plato学派。

第一类是分析方法，用这方法时，我们把待证的事项作为已知，然后由此推导出一些结论，知道得出一个已知的真理或得到矛盾。若得出矛盾，则待证的结论谬误。若得出一个已知真理，则（如若可能）便把推理步骤倒过来，于是就做出证明。
第二类是归谬法或间接法。