【摘要】：单单一个反例便可驳倒猜想，同10个反例一样见效。这一猜想及其证明已全部未达目的而失败了。还是抛弃错误的猜想忘掉它，尝试一个彻底的新方法吧。你只对那证其欲证者之证明感兴趣。但即使证明未完成其预定任务，我也感兴趣。
（a）猜想之拒斥。让步法
GAMMA：先生，您的冷静使我觉得困惑。单单一个反例便可驳倒猜想，同10个反例一样见效。这一猜想及其证明已全部未达目的而失败了。举起手来！您不认错也不行。还是抛弃错误的猜想忘掉它，尝试一个彻底的新方法吧。
老师：我同意你的话，猜想已受到了ALPHA的反例所做出的严厉批评。但证明却也并非已“全部未达目的而失败”。倘若你暂时赞成我稍早的提议，用“证明”一词以指“把原猜想分解为子猜想的思想实验”，而不在“保证某种真理”的意义上使用，你便不一定得出这个结论。我的证明当然在前一含义上证明了欧拉猜想，但在后一含义上便不一定了。你只对那证其欲证者之证明感兴趣。但即使证明未完成其预定任务，我也感兴趣。哥伦布（Columbus）并未到达印度，但他发现了某些极其有趣的东西。
ALPHA：所以根据您的哲学——一个局部的反例（若其不同时是全局的反例）是对证明的反驳，却不针对猜想——一个全局反例是对猜想的反驳，却不必针对证明。就猜想而言，您同意认错但您还要为证明作辩护。然而，若猜想为假，则证明究竟要证明什么呢？
GAMMA：您把哥伦布拿来类比也不管用。接受一个全局的反例必然意味着全盘皆错。
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
