c****n
发帖数: 1646 | 1 【 以下文字转载自 Mathematics 讨论区 】
发信人: carbon (kaben), 信区: Mathematics
标 题: Re: 素数有无穷多个, 你会证吗? 给大家奉上几篇欢乐的帖子.
发信站: BBS 未名空间站 (Thu May 23 14:32:20 2013, 美东)
你个蠢货还敢往这转，真不怕被人笑话，看来真是high过头了。
你的证明过程如下
自然数是由 质数,合数,和1 组成的.（我昨天要求你加上的）
等价假设2： 除去1,p_1,p_2,...........,p_K之外的自然数均为合数。
显然等价假设2与原假设同为真或同为假。
推论过程原假设与等价假设必须同时成立或不成立。
此步骤没问题
a是素数推论成立前提，原假设1成立。
推理过程： 1 由构造a 不能被P_1,......p_k整除，
2. 根据假设1，素数只有有限个, 记为 p_1,p_2,...,p_k
3. 若假设1成立，a即不被任何小于a的素数整除
4. 推理结论 a是素数成立
该推理过程无误
考虑等价假设2
推理过程： 1 由构造a 不能被P_1,......p_k整除，
2. 若等价假设2成立，a不是1，p_1,P_2............P_k中任何一个
3. a是合数成立
也可知，N 是合数
已经说过了，你证明的结论正确，但这个正确结论不是N是素数得来，你的证明过程能
同时得到N即是素数，也是合数。这个矛盾否定了原假设，不是你那＂ 可知: N是素数
，故假设不成立.＂
你笨在什么地方，在我给出你的推理过程之后，你仍然重复说
我可以明确告诉你为什么只讨论质数，因为我根据质数的定义, 发现N就是质数.
１。你发现N就是质数，不是仅根据假设中质数的定义，还有你的假设前提，所以不要
说你发现N就是质数是根据质数的定义。
２。我根据你的假设发现N是合数，并没有添加任何新的假设，不是说你用素数定义得
到素数，我用合数的定义得到合数，我们的假设和证明过程没有任何区别。我恰好用你
的素数定义和假设前提发现N是合数。
３。２的理由已经很明显了，你的假设和所谓的只用的素数定义的证明，得到的完全结
论是 N既是素数，又是合数。这个矛盾和欧几里德以来的反证法得到的矛盾相同。你喊
破天的结论N是素数，客气点是不完备，严格点就是错误。
４。你觉得你对了，是你的结论不小心对了，你的真正论证的结论是错的。没人能说你
的结论不对，但考试做证明题，你能得一半的分就是运气。
5。你真的很笨，笨不可怕，到处喊就没救了。 | m**x
发帖数: 8454 | 2 １。你发现N就是质数，不是仅根据假设中质数的定义，还有你的假设前提，所以不要
说你发现N就是质数是根据质数的定义。
你说的1）很对啊。但为什么lz证明过程中用到了假设推出N是素数这个证明就不对了？
【在 c****n 的大作中提到】
: 【 以下文字转载自 Mathematics 讨论区 】
: 发信人: carbon (kaben), 信区: Mathematics
: 标 题: Re: 素数有无穷多个, 你会证吗? 给大家奉上几篇欢乐的帖子.
: 发信站: BBS 未名空间站 (Thu May 23 14:32:20 2013, 美东)
: 你个蠢货还敢往这转，真不怕被人笑话，看来真是high过头了。
: 你的证明过程如下
: 自然数是由 质数,合数,和1 组成的.（我昨天要求你加上的）
: 等价假设2： 除去1,p_1,p_2,...........,p_K之外的自然数均为合数。
: 显然等价假设2与原假设同为真或同为假。
: 推论过程原假设与等价假设必须同时成立或不成立。
| c****n
发帖数: 1646 | 3 没有说不对，但同样的假设也能推出N是合数。
所以他推论的结果N一定是素数显然就不正确了。
【在 m**x 的大作中提到】
: １。你发现N就是质数，不是仅根据假设中质数的定义，还有你的假设前提，所以不要
: 说你发现N就是质数是根据质数的定义。
: 你说的1）很对啊。但为什么lz证明过程中用到了假设推出N是素数这个证明就不对了？
| m**x
发帖数: 8454 | 4 这只是证明方式不同，因为反证法，理论上有很多种方式，因为矛盾可以出现在任何环
节。
【在 c****n 的大作中提到】
: 没有说不对，但同样的假设也能推出N是合数。
: 所以他推论的结果N一定是素数显然就不正确了。
| d*****i
发帖数: 3905 | 5 我晕了，N是素数不是你们证明里面共同用来引出矛盾的吗？
【在 c****n 的大作中提到】
: 没有说不对，但同样的假设也能推出N是合数。
: 所以他推论的结果N一定是素数显然就不正确了。
| c**n
发帖数: 5275 | | c****n
发帖数: 1646 | 7 发信人: carbon (kaben), 信区: WaterWorld
标 题: Re: 剥光民科的皮，看看民科到底错在哪儿。
发信站: BBS 未名空间站 (Thu May 23 17:57:14 2013, 美东)
结论N是素数并不能否定原假设错误。
１。如果结论是N一定只能是素数，那和原假设矛盾，没问题。
２。这个证明的假设条件得不出N一定只能是素数，说N是素数就能否定原假设就不对。
因为你没有证明，你构造的N如果是合数，它是否和你的原假设素数有限矛盾。 如果合
数和原假设不矛盾，那N是素数的矛盾就不存在。因为这个证明无法证明N是素数一定存
在，如果一个素数也没有，自然没有矛盾。这就是为什么我们看到的所有关于素数无限
的反证法都同时讨论了两种可能。
【在 m**x 的大作中提到】
: 这只是证明方式不同，因为反证法，理论上有很多种方式，因为矛盾可以出现在任何环
: 节。
|
|
