Redian新闻
>
孪生素数的问题能不能跑一跑计算机?
avatar
孪生素数的问题能不能跑一跑计算机?# WaterWorld - 未名水世界
g*s
1
用计算速度最快的超级计算机,从10的一亿次方开始,找到一个素数就标记下来,看看
差值是多少,总能找出点规律来吧
avatar
z*3
2
素数能被证明有规律你就是超级大牛了
avatar
g*s
3
素数间隔小于七千万,不是规律?张同学这不证明出来了吗?你跑计算机,跑上几个月
也能看到同样的规律嘛

【在 z*******3 的大作中提到】
: 素数能被证明有规律你就是超级大牛了
avatar
z*3
4
对啊,所以张是大牛
你这个用有限怎么证明无限?
高斯分布最早就是用来搞素数的

【在 g**********s 的大作中提到】
: 素数间隔小于七千万,不是规律?张同学这不证明出来了吗?你跑计算机,跑上几个月
: 也能看到同样的规律嘛

avatar
f*k
5
这个猜想靠列举法无法证伪,所以跑计算机什么也证明不了

【在 g**********s 的大作中提到】
: 用计算速度最快的超级计算机,从10的一亿次方开始,找到一个素数就标记下来,看看
: 差值是多少,总能找出点规律来吧

avatar
s*r
6

这个猜想怎么感觉和哥德巴赫猜想好像啊

【在 f******k 的大作中提到】
: 这个猜想靠列举法无法证伪,所以跑计算机什么也证明不了
avatar
O*2
7
LZ文科生,签定完毕。
avatar
C*r
8
Lz可以去看看Euler Project
那上面有好多和素数有关的跑计算机的题,没事跑跑挺好玩的,虽然我也不知道跑了能
不能找出规律。

【在 g**********s 的大作中提到】
: 用计算速度最快的超级计算机,从10的一亿次方开始,找到一个素数就标记下来,看看
: 差值是多少,总能找出点规律来吧

avatar
h*y
9
文科生你好

【在 g**********s 的大作中提到】
: 用计算速度最快的超级计算机,从10的一亿次方开始,找到一个素数就标记下来,看看
: 差值是多少,总能找出点规律来吧

avatar
g*s
10
跑它个三五年,当然能跑出规律来,
假如没有yitang zhang发现的这个七千万的规律
你用超级计算机跑了5年,照样能总结出这个规律来,
极有可能素数间隔小于6436万,比七千万又前进一步

【在 C**********r 的大作中提到】
: Lz可以去看看Euler Project
: 那上面有好多和素数有关的跑计算机的题,没事跑跑挺好玩的,虽然我也不知道跑了能
: 不能找出规律。

avatar
C*r
11
不用三五年,可以并行跑吗?

【在 g**********s 的大作中提到】
: 跑它个三五年,当然能跑出规律来,
: 假如没有yitang zhang发现的这个七千万的规律
: 你用超级计算机跑了5年,照样能总结出这个规律来,
: 极有可能素数间隔小于6436万,比七千万又前进一步

avatar
C*r
12
我觉得他这个七千万是一大步,但是后面的小步不一定那么容易。

【在 C**********r 的大作中提到】
: 不用三五年,可以并行跑吗?
avatar
g*s
13
LZ做为文科生,推荐你了解一下梅森素数,就是用(也只能用)超级计算机跑出来的
http://en.wikipedia.org/wiki/Mersenne_prime
最近发现的那个素数是2的四千多万次方
和lz想法一样的数学家大有人在啊

【在 O********2 的大作中提到】
: LZ文科生,签定完毕。
avatar
C*r
14
挺lz,完完全全大有人在。
lz肯定不是文科生。

【在 g**********s 的大作中提到】
: LZ做为文科生,推荐你了解一下梅森素数,就是用(也只能用)超级计算机跑出来的
: http://en.wikipedia.org/wiki/Mersenne_prime
: 最近发现的那个素数是2的四千多万次方
: 和lz想法一样的数学家大有人在啊

avatar
g*s
15
当然可以了

【在 C**********r 的大作中提到】
: 不用三五年,可以并行跑吗?
avatar
g*s
16
张同学证明“存在无穷多个之差小于7000万的素数对”,跟"素数间隔小于七千万"不
是一回事吧。
就像"有无穷多个孪生素数",跟"素数间隔小于等于2"明显不等啊。

【在 g**********s 的大作中提到】
: 素数间隔小于七千万,不是规律?张同学这不证明出来了吗?你跑计算机,跑上几个月
: 也能看到同样的规律嘛

avatar
g*s
17
原来如此,我读的不仔细,多谢指教

【在 g***s 的大作中提到】
: 张同学证明“存在无穷多个之差小于7000万的素数对”,跟"素数间隔小于七千万"不
: 是一回事吧。
: 就像"有无穷多个孪生素数",跟"素数间隔小于等于2"明显不等啊。

avatar
j*l
18
你先理解下张证出了什么结果再发言吧

【在 g**********s 的大作中提到】
: 素数间隔小于七千万,不是规律?张同学这不证明出来了吗?你跑计算机,跑上几个月
: 也能看到同样的规律嘛

avatar
C*r
19
that is an intersting subtlety. 有无穷对是说随着素数值的增长,相邻素数对之间
的差可涨可落,但是一直会保持有差小于70m的出现对不对?

【在 g***s 的大作中提到】
: 张同学证明“存在无穷多个之差小于7000万的素数对”,跟"素数间隔小于七千万"不
: 是一回事吧。
: 就像"有无穷多个孪生素数",跟"素数间隔小于等于2"明显不等啊。

avatar
t*b
20
什么叫一直有?好比,你跑了10^15,肯定会发现,那个下限原来是有限的,那不是废
话吗。
按照你的跑法,对特定区间内的,比如10^14到10^15的所有素数,说不定下限是1B,远
比70M大。
理论上,只要用计算机,无穷大时间之后,就能证明了。
avatar
C*r
21
跑跑至少可以test猜想,又不伤脑子。

【在 t****b 的大作中提到】
: 什么叫一直有?好比,你跑了10^15,肯定会发现,那个下限原来是有限的,那不是废
: 话吗。
: 按照你的跑法,对特定区间内的,比如10^14到10^15的所有素数,说不定下限是1B,远
: 比70M大。
: 理论上,只要用计算机,无穷大时间之后,就能证明了。

avatar
f*k
22
都是数论

【在 s**********r 的大作中提到】
:
: 这个猜想怎么感觉和哥德巴赫猜想好像啊

avatar
j*l
23
而且都是民科可以插嘴的,像关于无穷大级别的猜想,民科就插不上话

【在 f******k 的大作中提到】
: 都是数论
avatar
I*e
24
你用计算机跑1和N之间数,都会得出最大的两个素数间隔小于N的这个结论。

【在 g**********s 的大作中提到】
: 素数间隔小于七千万,不是规律?张同学这不证明出来了吗?你跑计算机,跑上几个月
: 也能看到同样的规律嘛

avatar
l*s
25
这不是一个图灵机停机问题
avatar
L*r
26
有些东西是列举不完的,比如跟张结果同时出来的一个号称证明了1+1+1的,之前就证
明了对大于e^3100次方的数成立。理论上问题变成列举所有小于e^3100的奇数就行了。
现在的最好supercomputer浮点计算大概速度是10^17,假设每次浮点计算都能完成对一
个奇数的计算,不考虑io之类的时间,那么一共要的时间在10^1316年,也就是目前宇
宙年龄的10^1306倍

【在 g**********s 的大作中提到】
: 跑它个三五年,当然能跑出规律来,
: 假如没有yitang zhang发现的这个七千万的规律
: 你用超级计算机跑了5年,照样能总结出这个规律来,
: 极有可能素数间隔小于6436万,比七千万又前进一步

avatar
C*s
27
楼主先去理解一下张益唐证明出来什么东西再发声吧. 尼玛, 牛头不对马嘴.
第二, 普及一下素数定理吧. 省得楼主这么弱的还跑出来现眼.
根据素数定理,在前 N 个自然数里,素数的个数大约是 N / Ln(N)。也就是说前 N 个
自然数里,素数的比例是 1/Ln(N)。因此,随着 N 增大,前 N 个自然数里素数的比例
会越来越小。
实际上, 给定一个自然数 N > 1,那么连续的 N 个自然数:(N+1)! + 2, (N+1)! + 3,
(N+1)! + 4, ...... (N+1)! + (N+1) 都是合数.
简单一句话: 素数越来越少, 这是已经证明了的定理. 所以, 别去折腾计算机了. 靠.
avatar
g*s
28
计算机跑出来的结果, 和数学家推导出来的结论, 会不会一致?
如果计算机跑10年跑到10^1亿,跑出这么个结果:
素数对n, 素数对n+1, ............素数对n+N
这些素数对的间隔都在6500万之内,
还用数学推导个屌啊
不服继续跑
和素数越来越少有个屁关系?你才驴唇不对马嘴

3,
.

【在 C******s 的大作中提到】
: 楼主先去理解一下张益唐证明出来什么东西再发声吧. 尼玛, 牛头不对马嘴.
: 第二, 普及一下素数定理吧. 省得楼主这么弱的还跑出来现眼.
: 根据素数定理,在前 N 个自然数里,素数的个数大约是 N / Ln(N)。也就是说前 N 个
: 自然数里,素数的比例是 1/Ln(N)。因此,随着 N 增大,前 N 个自然数里素数的比例
: 会越来越小。
: 实际上, 给定一个自然数 N > 1,那么连续的 N 个自然数:(N+1)! + 2, (N+1)! + 3,
: (N+1)! + 4, ...... (N+1)! + (N+1) 都是合数.
: 简单一句话: 素数越来越少, 这是已经证明了的定理. 所以, 别去折腾计算机了. 靠.

avatar
s*e
29
科学是闲人做的事。
吃饭都成问题的人去研究科学, 等于自杀
我就这么肤浅, 或者说实在
avatar
D*y
30
你是说阿里夫么?

【在 j****l 的大作中提到】
: 而且都是民科可以插嘴的,像关于无穷大级别的猜想,民科就插不上话
avatar
D*y
31
打住吧,再说下去你就不是文科生,而是三校生了

【在 g**********s 的大作中提到】
: 当然可以了
avatar
g*s
32
本人还真不是文科生, 甭管你学啥干啥, 老子都能歧视你

【在 D****y 的大作中提到】
: 打住吧,再说下去你就不是文科生,而是三校生了
avatar
c*n
33
“无穷”懂么?
avatar
c*1
34
这个证明的关键在无穷,你就算用计算机跑到宇宙灭亡,离无穷的距离还是无穷,等于啥
也没证明.

【在 g**********s 的大作中提到】
: 用计算速度最快的超级计算机,从10的一亿次方开始,找到一个素数就标记下来,看看
: 差值是多少,总能找出点规律来吧

avatar
D*y
35
自爆求歧视
本科学的是数学应用数学方向,博士学的是计算机,并行编译方向
好像跟你想干的事情都沾边

【在 g**********s 的大作中提到】
: 本人还真不是文科生, 甭管你学啥干啥, 老子都能歧视你
avatar
c*e
36
你是想让计算机“思考”出一个办法能证明猜想?对于不能证伪的猜想,穷举也没有用
,何况根本不可能穷举。
avatar
D*y
37
机器证明是计算机的一个应用领域.当然核心的验证方法是人想出来的,但计算机可以帮
助完成复杂的证明过程.最经典的应该是四色问题的证明.最常用的只怕要数大规模不等
式组求解以及无解的证明了.

【在 c**e 的大作中提到】
: 你是想让计算机“思考”出一个办法能证明猜想?对于不能证伪的猜想,穷举也没有用
: ,何况根本不可能穷举。

avatar
C*r
38
hmm.... 这个好玩,太吊胃口了。

【在 g**********s 的大作中提到】
: 本人还真不是文科生, 甭管你学啥干啥, 老子都能歧视你
avatar
C*s
39
你所谓的: 用计算机找到很多对素数, 间隔都在 6500 万之内, 然后呢? 说明什么了?
说明有很多对素数间隔在 6500 万以内. 是啊, 没错. 跟张益唐的证明有一毛钱关系么
?
尼玛, 整个是对牛弹琴! 还整什么鸡巴"不服继续跑". 真是弱到爆!
你的思维能力, 基本还是中小学水平. 不要出来丢人现眼了.

【在 g**********s 的大作中提到】
: 计算机跑出来的结果, 和数学家推导出来的结论, 会不会一致?
: 如果计算机跑10年跑到10^1亿,跑出这么个结果:
: 素数对n, 素数对n+1, ............素数对n+N
: 这些素数对的间隔都在6500万之内,
: 还用数学推导个屌啊
: 不服继续跑
: 和素数越来越少有个屁关系?你才驴唇不对马嘴
:
: 3,
: .

avatar
x*s
40
你跑一百年也没用啊。你跑到什么数,总有无限的更大的数你还没有跑到,无法证真。
张的贡献是证明了有这个规律,即使对无限的数。

【在 g**********s 的大作中提到】
: 跑它个三五年,当然能跑出规律来,
: 假如没有yitang zhang发现的这个七千万的规律
: 你用超级计算机跑了5年,照样能总结出这个规律来,
: 极有可能素数间隔小于6436万,比七千万又前进一步

avatar
T*g
41
你用计算机花十年时间成功的证明了有10000个素数对的间隔都在6500万之内。
这个结果可能花点钱能发个三流大学学报之类的。
顺便说一下,楼上已经有人说了,10^1500次方的计算量需要超过10^1000年。10的一亿
次方你自己想一下吧。

【在 g**********s 的大作中提到】
: 计算机跑出来的结果, 和数学家推导出来的结论, 会不会一致?
: 如果计算机跑10年跑到10^1亿,跑出这么个结果:
: 素数对n, 素数对n+1, ............素数对n+N
: 这些素数对的间隔都在6500万之内,
: 还用数学推导个屌啊
: 不服继续跑
: 和素数越来越少有个屁关系?你才驴唇不对马嘴
:
: 3,
: .

avatar
d*x
42
10000...10年。。。虽然说立论是对的,但是数据也不能瞎掰吧
请问第20000个素数是多少?
哦 224737 。。。。

【在 T*******g 的大作中提到】
: 你用计算机花十年时间成功的证明了有10000个素数对的间隔都在6500万之内。
: 这个结果可能花点钱能发个三流大学学报之类的。
: 顺便说一下,楼上已经有人说了,10^1500次方的计算量需要超过10^1000年。10的一亿
: 次方你自己想一下吧。

avatar
B*n
43
你們兩個講的不是同一個問題

【在 d**********x 的大作中提到】
: 10000...10年。。。虽然说立论是对的,但是数据也不能瞎掰吧
: 请问第20000个素数是多少?
: 哦 224737 。。。。

avatar
D*y
44
他跑了,没劲

【在 C**********r 的大作中提到】
: hmm.... 这个好玩,太吊胃口了。
avatar
C*r
45

楼里好像有个背景更吓人的。我就进来仰慕牛人打打酱油。

【在 D****y 的大作中提到】
: 他跑了,没劲
avatar
s*e
46
当计算机高速运行到999天,楼主和所有计算机一起进入混沌状态随概率随机振荡摇头
摆尾,利用统计学和光波原理证明孪生素数问题。

【在 f******k 的大作中提到】
: 这个猜想靠列举法无法证伪,所以跑计算机什么也证明不了
相关阅读
logo
联系我们隐私协议©2024 redian.news
Redian新闻
Redian.news刊载任何文章,不代表同意其说法或描述,仅为提供更多信息,也不构成任何建议。文章信息的合法性及真实性由其作者负责,与Redian.news及其运营公司无关。欢迎投稿,如发现稿件侵权,或作者不愿在本网发表文章,请版权拥有者通知本网处理。