本帖最后由 wxmwrk 于 2016-8-15 10:15 编辑
http://bbs1.people.com.cn/post/1/1/2/157664469.html http://www.onechina.xyz/131590.html 谈谈费马大定理的逻辑结构
一,费马大定理是一个什么概念命题?
。...(1)
对于n>2的自然数,费马说没有 整数解,由于n=3, 4, 5,...以致无穷,当然属于集合概念,应该从n=3,4, 5,....逐一证明。那么,安德鲁怀尔兹的证明是否成立?
二,转换有效
请注意他的证明方法,他证明的是假如存在一个反例,注意,反例只要一个就够了,格哈德-.弗赖 将方程(1)转换成为一个普遍概念,如果费马大定理是错误的,那么,至少有一个解,
,
经过一系列演算程序,使得这个假设解(反例)的费马方程变成:
,.......(2)
他指出这里实际上是一个椭圆曲线方程:
,......(3)
如果我们令,,,就容易理解弗赖方程的椭圆性质。注意,(3)式是一个普遍概念。所以,这个论题有效。
椭圆曲线是域上亏格为1的光滑射影曲线,它的(仿射)方程,通常称为维尔斯特拉斯方程,可以写成(3)式。 所以,这个转换是有效的,如果不是假设反例,把反例转换成为一个普遍概念的命题,就应该对n=3, 4, 5, ....,逐一证明。 所有的具有这种形式的都可以叫椭圆方程吗?都具有这个性质? 然而,最后证明结果却否定了(2)式是(3)式的一种形式。
三,荒唐的联系 三段论: 大前提:(谷山——志村断言)每一个椭圆方程必然可以模形式化(全称肯定判断A,说明了谷山—志村猜想与椭圆方程联系)。 小前提:弗赖椭圆方程不能模形式化(特称否定判断O,说明了弗赖方程与椭圆方程无关)。 ——————————————————————————————————————————— 结论:所以弗赖方程不是椭圆方程(特称否定判断O)。(注意,结论否定了弗赖方程是椭圆方程,也就否定了谷山志村猜想与费马大定理的联系) 这个结论推不出:假定存在反例(弗赖方程)不能成立,即费马大定理成立的结论。
四,违反三段论公理 大家一定看出漏洞了。 结论推出:弗赖方程不是椭圆方程。那么是什么?难道弗赖方程不具有椭圆方程的形式?根据三段论公理:
凡是对一类事物性质有所肯定,则对该类事物中的每一个分子的性质也应该有所肯定; 凡是对一类事物性质有所否定,则对该类事物中的每一个分子的性质也应该有所否定。 从概念的外延方面看, 图1表示:s类包含于m类,m类包含于p类,所以,s类包含于p类; 图2表示:s类包含于m类,m类与p类全异,所以,s类与p类全异。
设图中的M和S: M = ,即(3)式。 S = ,即(2)式。 那么,安德鲁怀尔兹证明的:M具有性质P(模形式化),而S不具有性质P(模形式化)。 显然违反了三段论公理。 五,费马大定理至今没有被证明 历史上也有类似情况,1880年,全世界数学家都认为四色定理已经得以证明,过了10年以后,也就是1990年发现原来证明是错误的。 费马大定理至今没有被证明,并且永远不会有人证明。 数学证明必须符合逻辑——主项是普遍概念
有人幼稚地认为,自己证明了费马大定理。这是非常可笑的。
为什么费马大定理是不能证明的?
因为,费马大定理是一个集合概念,只能从n=3,4,5,6,,,。逐一证明。
世界上没有任何一个数学定理的主项是集合概念!(大家可以去查一下)
所有的数学定理的主项都是普遍概念或者单独概念。
普遍概念由于层次不同,会有种概念与属概念的命题。例如上位概念(种概念)的“自然数”命题:“自然数有无穷多个”;也有下位概念(属概念)的“素数”的命题:“素数有无穷多个”。
将几个定理汇集一起陈述,不是集合概念的定理,而是几个定理的集合。不能混为一谈。
也就是说,费马大定理永远不会得到证明!
费马大定理可以产生无穷个定理,即n=3时候是一个定理,n=4时候也是一个定理,....,,而不会是一个总定理。 |
|
|