x****6
发帖数: 4339 | |
m***a
发帖数: 13878 | |
K*****2
发帖数: 9308 | 3 还没开局，就已经被广大reddit吊丝吊打，被迫打出gg |
x****6
发帖数: 4339 | 4 我操，他用的是反证法：证明黎曼猜想不成立的话就有逻辑矛盾，所以成立。
貌似我们中学的时候就学习了这种方法。
Atiyah’s self-described “simple proof” builds on the work of two leading
20th century mathematicians, John von Neumann and Friedrich Hirzebruch. By
combining their insights, and assuming the Riemann hypothesis does not hold,
Atiyah claims to reach a logical contradiction, implying that the
hypothesis must in fact be correct. |
m*****n
发帖数: 3575 | 5 这方法谁都会用啊，而且是数论常用的套路
但是这5页纸怎么就用成了，是个问题！
leading
hold,
【在 x****6 的大作中提到】
: 我操，他用的是反证法：证明黎曼猜想不成立的话就有逻辑矛盾，所以成立。
: 貌似我们中学的时候就学习了这种方法。
: Atiyah’s self-described “simple proof” builds on the work of two leading
: 20th century mathematicians, John von Neumann and Friedrich Hirzebruch. By
: combining their insights, and assuming the Riemann hypothesis does not hold,
: Atiyah claims to reach a logical contradiction, implying that the
: hypothesis must in fact be correct.
|
x****6
发帖数: 4339 | 6 那直接证明会不会通常被认为比反正更加牛逼？
【在 m*****n 的大作中提到】
: 这方法谁都会用啊，而且是数论常用的套路
: 但是这5页纸怎么就用成了，是个问题！
:
: leading
: hold,
|
d****o
发帖数: 32610 | 7 并不会
【在 x****6 的大作中提到】
: 那直接证明会不会通常被认为比反正更加牛逼？
|
b***y
发帖数: 14281 | 8 反证法也是证明，如果推理严格的话。
leading
hold,
★ 发自iPhone App: ChinaWeb 1.1.4
【在 x****6 的大作中提到】
: 我操，他用的是反证法：证明黎曼猜想不成立的话就有逻辑矛盾，所以成立。
: 貌似我们中学的时候就学习了这种方法。
: Atiyah’s self-described “simple proof” builds on the work of two leading
: 20th century mathematicians, John von Neumann and Friedrich Hirzebruch. By
: combining their insights, and assuming the Riemann hypothesis does not hold,
: Atiyah claims to reach a logical contradiction, implying that the
: hypothesis must in fact be correct.
|
x****6
发帖数: 4339 | 9 那么也就是说，这次atiyah真的牛逼立体的咯？！
【在 b***y 的大作中提到】
: 反证法也是证明，如果推理严格的话。
:
: leading
: hold,
: ★ 发自iPhone App: ChinaWeb 1.1.4
|
d****o
发帖数: 32610 | 10 那得证出来才算
【在 x****6 的大作中提到】
: 那么也就是说，这次atiyah真的牛逼立体的咯？！
|
|
|
d****o
发帖数: 32610 | 11 取消了？
【在 K*****2 的大作中提到】
: 还没开局，就已经被广大reddit吊丝吊打，被迫打出gg
|
x****6
发帖数: 4339 | 12 没。 atiyah破解公开现场在此：
【在 d****o 的大作中提到】
: 取消了？
|
b***y
发帖数: 14281 | 13 逻辑上的含义不同。
反证法需要假定二分法逻辑，在数理逻辑里是一个前提假设，属于你可以信也可以不信
。但是不信的话需要牺牲很多数学结论，能得出的结论也少的多。
反证法证明出来的东西，在没有构造法证明之前属于大部分数学家相信是对的（就是接
受非是即非二元逻辑的前提下为真），而用构造法能解决的是在现有公里体系下必然会
推出的结论。
★ 发自iPhone App: ChinaWeb 1.1.4
【在 x****6 的大作中提到】
: 那直接证明会不会通常被认为比反正更加牛逼？
|
K*****2
发帖数: 9308 | 14 据说全是错误，或者说连错误都称不上
以前的hole还没堵上，他就接着往下去反证了
【在 d****o 的大作中提到】
: 取消了？
|
x****6
发帖数: 4339 | 15 按照我生物千少的理解，反证法相当于找boundary condition, 正证法相当于找
boundary condition里面的逻辑/数学结构。
那么后者应该提供更多信息。
【在 b***y 的大作中提到】
: 逻辑上的含义不同。
: 反证法需要假定二分法逻辑，在数理逻辑里是一个前提假设，属于你可以信也可以不信
: 。但是不信的话需要牺牲很多数学结论，能得出的结论也少的多。
: 反证法证明出来的东西，在没有构造法证明之前属于大部分数学家相信是对的（就是接
: 受非是即非二元逻辑的前提下为真），而用构造法能解决的是在现有公里体系下必然会
: 推出的结论。
:
: ★ 发自iPhone App: ChinaWeb 1.1.4
|
d****o
发帖数: 32610 | 16 生物千老也学过初中数学吧
反证法也是逻辑严密的
【在 x****6 的大作中提到】
: 按照我生物千少的理解，反证法相当于找boundary condition, 正证法相当于找
: boundary condition里面的逻辑/数学结构。
: 那么后者应该提供更多信息。
|
x****6
发帖数: 4339 | 17 我没有说反证法不行，而是在讨论，正证法会不会在证明假说的过程中，发现更多
insights。
【在 d****o 的大作中提到】
: 生物千老也学过初中数学吧
: 反证法也是逻辑严密的
|
s***h
发帖数: 487 | 18 这个生物千老不错啊。反证法很灵巧，推妈的最爱，但构造正向证明的影响力和建设性
通常
更高一些。
【在 x****6 的大作中提到】
: 我没有说反证法不行，而是在讨论，正证法会不会在证明假说的过程中，发现更多
: insights。
|
t******g
发帖数: 4044 | 19 难道真的是老糊涂了？
【在 K*****2 的大作中提到】
: 据说全是错误，或者说连错误都称不上
: 以前的hole还没堵上，他就接着往下去反证了
|
x****6
发帖数: 4339 | 20 谢谢时崩姐夸奖。
稍微对内容和形式有过思考的人，都能从逻辑上推出反证法和构造法完全不同的
implications。
反证法找出了boundary conditions而已。把函数/集/群。。。内部结构完全当成黑匣
子处理。 而构造法则需要严格的处理这些内部结构。而只有认识这些内部结构（内容
）才能深刻的认识函数/集/群，进而准确的应用它们。
【在 s***h 的大作中提到】
: 这个生物千老不错啊。反证法很灵巧，推妈的最爱，但构造正向证明的影响力和建设性
: 通常
: 更高一些。
|
|
|
j******z
发帖数: 2214 | 21 反证法也是构造。只不过构造的是反例。
【在 s***h 的大作中提到】
: 这个生物千老不错啊。反证法很灵巧，推妈的最爱，但构造正向证明的影响力和建设性
: 通常
: 更高一些。
|
x****6
发帖数: 4339 | 22 反证法在 boundary conditions 外面构造。
【在 j******z 的大作中提到】
: 反证法也是构造。只不过构造的是反例。
|
j******z
发帖数: 2214 | 23 你这个理解很历史性地不对。
反证法的确不是放之四海皆准。问题出在无穷。
但在举例说在可数的情况下被接受。
没人说素数无限的证明是错的。因为那个证明及问题本身都是可数的。
【在 b***y 的大作中提到】
: 逻辑上的含义不同。
: 反证法需要假定二分法逻辑，在数理逻辑里是一个前提假设，属于你可以信也可以不信
: 。但是不信的话需要牺牲很多数学结论，能得出的结论也少的多。
: 反证法证明出来的东西，在没有构造法证明之前属于大部分数学家相信是对的（就是接
: 受非是即非二元逻辑的前提下为真），而用构造法能解决的是在现有公里体系下必然会
: 推出的结论。
:
: ★ 发自iPhone App: ChinaWeb 1.1.4
|
j******z
发帖数: 2214 | 24 康托尔的实数不可数证明有两个。第一个用的是他老师的方法。第二个用的是对角线法
反证。
关于第二个反证证明，支持者说构造了一个反例（超越数），虽然过程永不停机。
对角线法被code review和merge到科技树后，各种古怪的东西就出现了，如不可判定问
题等等。
【在 x****6 的大作中提到】
: 反证法在 boundary conditions 外面构造。
|
m*****n
发帖数: 3575 | 25 她是老ID？
说说事迹？
【在 x****6 的大作中提到】
: 谢谢时崩姐夸奖。
: 稍微对内容和形式有过思考的人，都能从逻辑上推出反证法和构造法完全不同的
: implications。
: 反证法找出了boundary conditions而已。把函数/集/群。。。内部结构完全当成黑匣
: 子处理。 而构造法则需要严格的处理这些内部结构。而只有认识这些内部结构（内容
: ）才能深刻的认识函数/集/群，进而准确的应用它们。
|
j******z
发帖数: 2214 | 26 TA说TA不是。风格相近也是有可能的。如某时期月光和星光就分不清。不排除那时期俩
也刻意搅浑水相互配合。
【在 m*****n 的大作中提到】
: 她是老ID？
: 说说事迹？
|
x****6
发帖数: 4339 | 27 我知道两个版本
1. 平行说他是男的，joke还是哪个版的老ID, 经常上传自己的吉他弹唱，油菜花。俩
娃。硅公。
2. 去年菌斑活跃的timefell这个ID，说话神叨叨，有很强的计算机背景。我当年抛出
一个数学证明题，弃婴装逼，说我的命题错了，然后timefell等人来帮我证明，两边争
论了100多层楼。后来我找了一个UIUC的solid state physicist帮我严格的证出来。
再后来，版上有人说他是女的，很多人起哄，他一气之下离开了菌斑。
【在 m*****n 的大作中提到】
: 她是老ID？
: 说说事迹？
|
j******z
发帖数: 2214 | 28 这一位也多半是女的。别看俺有时发炎疯疯癫癫，那是在构造艾迪性别的图灵测试。
姐夫这个女艾迪（aka. 爱读医书的处男）也是这么抓出来的。
【在 x****6 的大作中提到】
: 我知道两个版本
: 1. 平行说他是男的，joke还是哪个版的老ID, 经常上传自己的吉他弹唱，油菜花。俩
: 娃。硅公。
: 2. 去年菌斑活跃的timefell这个ID，说话神叨叨，有很强的计算机背景。我当年抛出
: 一个数学证明题，弃婴装逼，说我的命题错了，然后timefell等人来帮我证明，两边争
: 论了100多层楼。后来我找了一个UIUC的solid state physicist帮我严格的证出来。
: 再后来，版上有人说他是女的，很多人起哄，他一气之下离开了菌斑。
|
