摘要
回顾了对数学发现的逻辑的研究进程,着重介绍了拉卡托斯在波利亚的基础上提出的以猜想、证明与反驳为特征的数学发现的逻辑。
In this paper, the research process in the logic of mathematical discovery is reviewed. The theory itself, which was advanced by I. Lakatas based on Polya's work, and regards proof and refutation as feature, is introduced emphatically.
出处
《广西师范大学学报（自然科学版）》
CAS
1993年第2期43-47,共5页
Journal of Guangxi Normal University:Natural Science Edition
关键词
启发法
数学发现
逻辑
拉卡托斯
heuristic
proof and refutation
problem-solving
