一码解千愁 - Programming版

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

相关主题
● 堆机器才是王道	● c++语法一问
● 请各位推荐一个比较好的算法论坛	● 50岁的码工是最有经验的 (转载)
● 这个怎么排序来着	● 以下两个C 代码是不是完全等价?
● 求推荐Python 高阶读物	● 魏老师图灵奖级别的分布式理论在此
● 哈哈, 不喜欢typescript 是不是都是新手？	● subpixel conv == transposed conv
● 换个话题，当你发现一个牛顿级别的学霸错了，你该怎么办？	● 有人认为反证法的证明过程中不能用某些定理,某些等价定义,我问一句
● deep learning开源，对搞ML的大众不利	● 大家来破案吧
● C++编程问题：union inside struct	● 求上联: 撸一管,解千愁

相关话题的讨论汇总
话题: 解千愁话题: 一码话题: zfc

进入Programming版参与讨论

(共1页)

g****t
发帖数: 31659

http://www.math.lsa.umich.edu/~lagarias/doc/elementaryrh.pdf
来机器证明黎曼猜想吧。
这个等价形式没有高阶逻辑，看着可以用现有的machine proof系统试一下.
大能也可以直接从ZFC出发.
www.math.lsa.umich.edu/~lagarias/doc/elementaryrh.pdf

(共1页)

进入Programming版参与讨论

相关主题
● 求上联: 撸一管,解千愁	● 哈哈, 不喜欢typescript 是不是都是新手？
● 求上联: 地下室仰望星空,撸一管解千愁	● 换个话题，当你发现一个牛顿级别的学霸错了，你该怎么办？
● 我来为菌斑赋诗一首	● deep learning开源，对搞ML的大众不利
● [转载] 一个旧故事谜	● C++编程问题：union inside struct
● 堆机器才是王道	● c++语法一问
● 请各位推荐一个比较好的算法论坛	● 50岁的码工是最有经验的 (转载)
● 这个怎么排序来着	● 以下两个C 代码是不是完全等价?
● 求推荐Python 高阶读物	● 魏老师图灵奖级别的分布式理论在此

相关话题的讨论汇总
话题: 解千愁话题: 一码话题: zfc

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

boards

未名新帖统计// 7月16日

历史上的今天