摘要：合情推理是数学家波利亚(G.Polya)的"启发法"(heuris-tic,即"有助于发现的")中的一个推理模式。他给我们指出数学思维不是纯"形式"的,它所涉及的不仅有公理、定理、定义及严格的证明,还有许许多多其它方面:推广、归纳、类比以及从具体情况中辨认出或者说抽取出某个数学概念等等。数学

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社