波利亚对于演绎推理,有过一段很精彩的论述[1]:
发现解法,就是在原先是隔开的事物或想法(已有的事物和要求的事物,已知量和未知量,假设和结论)之间去找出联系.被联系的事物原来离得越远,联系的发现者的功绩也就越大.有时我们发现这种联系就像一座桥:一个伟大的发现使我们强烈地觉得像是在两个离得很远的想法的鸿沟之间架上了桥.我们常常看到这种联系是由一条链来贯穿的,一个证明像是一串论据,像是一条由一系列结论组成的链也许是一条长链.这条链的强度是由它最弱的一环来代表的.因为那怕是只少了一环,就不会有连续推理的链,也就不会有有效的证明.对于思维上的联系我们更经常使用的词是线索,比如...