题目解析反证法。通过断定与论题相矛盾的判断（即反论题）的虚假来确立论题的真实性的论证方法。参考答案

数学欣赏与发现于国海 编著第一章 厚重悠远的文化积淀第一节 从根号2的产生到理发师悖论一、根号2的产生——第一次数学危机十大“美丽定理”：根号2是无理数这一定理名列第七，紧随其后的是“为超越数”、四色定理、大数学家费马的一个结论毕达哥拉斯（约公元前580-前500年）

这是芝加哥大学数学系Hirschfeldt一篇文章的引言部分，原文的全文地址是http://math.uchicago.edu/~drh/Papers/Papers/rm.pdf。该文全文是非常专业学术文章，但这篇文章的引言写的非常有趣，实际上可以作为可计算理论和反推数学的一个科普级别的介绍。原文作者：Hirschfeldt，

逻辑，是关于推理和论证的，是理性的，科学都是讲逻辑的。如果用最简洁的语言概括，那逻辑就是讲道理。对内思考时，清晰严谨的逻辑是我们独立思考、培养批判性思维必不可缺的能力；对外输出时，我们说话、写文字要有理有据，才能以理服人，让人信服。逻辑有四个基础定律：同一