jacky
合情推理是波利亚的"启发法"(heuristic,
即"有助于发现的")中的一个推理模式.波利亚多年深入研究数学问题解决过程(problem
solving一般被误译为夜象划导讨号田哪"解题",这里把它译为"问题解决")得出的理论成果.波利亚对启发法解释道:"现代启发法力求了解问题解决过程,特别是问题解决过程中典型有用的智力活动.……在这种研究中,我们不应忽视任何一类问来自题,并且应当找出处理各类问题所共有的特360问答征来;我们的目的应当是找出一般特征而与主题无关."可见波利亚的启发法讲的是问题解决在数学方法论上的共同点.启发法源于他对问题解苏志决的研究,问题解决就是"在没有现成的解题方法时寻找一条解题途径,就是从困难中找到出路,就是寻求一条绕过障碍的道路,由适当的方法达到所要去的而不能立即达到的目的".这说明波利亚早在50年前就已经把问题和问题解决的主要特征搞清楚了.
