disprove

Lakatas based on Polya s work, and regards proof and refutation as feature, is introduced emphatically.

回顾了对数学发现的逻辑的研究进程,着重介绍了拉卡托斯在波利亚的基础上提出的以猜想、证明与反驳为特征的数学发现的逻辑。