我看到很多人热心于证明各种数学猜想，比如什么哥德巴赫猜想什么的；也有很多人热衷于0.9999…和1的关系…
对于0.9999….和1的关系，这种属于读书少。而证明各种数学猜想，你的行动，可能就是人类知识的财富！
但是，外人一般都会把你的绝妙证明当成是笑话，直接无视，尤其是专业的。因而不可能有什么让世人认可的成就，从而沦为笑话制造机。这是很可惜的，万一，真的解决了一个世界级难题，如何证明自己做到了，如何让数学家们认可，才是真正的难题！
计算机世界有一类软件叫proof assistant ，这类软件的作用是，你把数学证明录入进去，它会给你检查你的证明过程有没有错。常见的有：coq, lean, arend, Isabella, …当然也有使用门槛，你得真懂数学，而且数学证明得足够严格且逻辑顺畅，每一步都要有依据，不然用不动。比如，你不能用“一个妈妈一个爸爸生一个孩子”来证明“1+1=3”，但你可以用后继数来证明1+1=2。
因而，我觉得以下的方法，一来可以验证自己的证明对不对，二来可以得到数学家们的认可。
1. 把你的数学证明录入随便一个proof assistant ，通过验证。
2. 把你经过验证的证明（录入到proof assistant 的版本），上传到GitHub 仓库。不会的话闲鱼找人帮你。
3. arxiv 上发一篇英文论文，不用太多废话，就说你证明了，而且通过了proof assistant 的验证，然后附上GitHub 的仓库地址。英文如果有困难，不要怕，闲鱼找一个帮你写一篇，一两页就差不多了，也花不了什么钱，还可以让他帮你传arxiv 。
4. 等着全世界爆炸性新闻报道你吧！😁

他们会说程序是错的，是官科用来陷害他们的

有这么好的东西？学习到了

多谢。

民科第一关就卡在访问github上了

太单纯了
你猜当年三江声称sum 1/k收敛的时候，明明有计算器摁一下就能得到的反例他为什么不承认

楼主能不能试着把4楼叶贱民的证明过程打进去check出错误给叶贱民看

0.999…小于1 不服来辩

我觉得0.99……和1的关系，只是
如果你同意1/3=0.333……那么就1/1=0.99……
如果你不认为1/3=0.333……，那么就1≠0.99……
这应该只是叫：不双标。
说证明什么的只是帮理清思路。
这就是中文上，好比壹和一，这两个字一样意思，只有写法（视觉）上不同。纯中文内，那都能如此不同字表达同样意思，为什么纯阿拉伯数字不能？

0.999…在数学上任何时候都绝不可能等于1，你规定0.999…等于1，和规定0.5等于1行为上没啥差别