跟专业老哥求教哥德尔不完备定理证明问题,最后他也差点急眼我也差点急眼!我急眼的原因是我只是看不懂倒数第二步他非说我可能整个都没看懂让我写个哥德尔数的转换来看看,我气得硬是从床上跳起来对着哥德尔数的表吭哧吭哧写了一个,老哥立刻沉默了几秒(应该是发现我不是弱智去认真看我问题和对应证明步骤了)终于具体地问是不是这一段(截图)没懂,话虽如此最后也没跟我说是哪里出了问题,只说是例子有问题
还好他说的方向是对的我把例子扒开重新寻思了一会儿终于解决了…………
话虽如此我很理解老哥的不耐烦(心虚)…………冷静下来以后我们缓慢地修复表面和谐了……
“煮喝醉之后把触手伸向fedi宇宙,于是有了拉面站~ ”
Mastodon是一个新兴的社交网络,核心理念是“Giving social networking back to you”,使用分布式的架构,整个网络由若干自发节点构成的联邦宇宙fediverse,从而从根本上杜绝censorship的可能性。另一方面刻意避开了推荐算法,让sns回归原本原子化的“人和人的社交”。
拉面站是fedi中的节点之一,主题是飞天拉面神教FSM,是一个一本正经胡说八道的反宗教宗教,具体可以参见飞天拉面神教介绍,本质是个欢乐沙雕生活分享兴趣交流为主题的站点。
这里欢迎飞天拉面神教FSM信徒,希望你们遵守站点规则里的阿西八戒。
这里也欢迎非信徒,毕竟 煮不在乎! RAmen!
更多详情请点击下方链接: