问题六：学逻辑学在生活上有什么用呢？ 逻辑的作用是分析论证。说白了
，就是检查别人在论证的时候有没有问题
。但是，并不是所有的情况下我们都需要进行论证分析。如果有一个人告诉你他花了不到一页纸就证明了费马大定理 ，比较仁慈的手段是首先找出第一处证明错误然后写信回去

问题七：费马大定理
，用电脑编程证明 1引言1637年，费马提出：“将一个立方数分为两个立方数 ，一个四次幂分为两个四次幂，或者一般地将一个高于二次的幂分为两个同次的幂
，这是不可能的 。 ”即方程当正整数指数n>2时，没有正整数解
。当然xyz=o除外。这就是费马大定理（FLT） ，于1670年正式发表 。费马还写道：“关于此
，我确信已发现一种奇妙的证法，可惜这里的空白太小 ，写不下
。1992年
，蒋春暄用p阶和4n阶复双曲函数证明FLT。1994年，怀尔斯用模形式 、谷山―志村猜想
、伽罗瓦群等现代数学方法间接证明FLT ，但是他的证明明显与费马设想的证明不同 。据前人研究
，任何一个大于2的正整数n，或是4的倍数 ，或是一个奇素数的倍数
，因此证明FLT，只需证明两个指数n=4及n=p时方程没有正整数解即可
。方程无正整数解已被费马本人及贝西、莱布尼茨 、欧拉所证明。方程无正整数解 ，p=3被欧拉、高斯所证明；p=5被勒让德
、狄利克雷所证明；n=7被拉梅所证明；特定条件下的