Show newer

比较恐怖的是我发现很多学科用各自的编解码会得到同构的理论和答案……比如这个精妙一百行公式解法讲给八十岁老奶奶听她真的有可能说对啊你活一辈子也是这样
好好活一辈子体验一辈子的信息确实是某种天才

Show thread

不应该是大数字(只是被称为Y)和y(符号)搞混因为太低级了……

另外看到一位网友发出灵魂质问:不可证明到底是什么意思?有明确的概念吗?

Show thread

太神了几乎是以数字替代了语言结构同时能描述内容和表达

Show thread

哥德尔数太聪明了吧真不知道都是哪些有福之人这辈子进的是这个屋……我偶尔去你们窗户外面文盲一样闻闻味儿已经被灌满了要炸了……

Show thread

呃啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊

Show thread

完备一致可判定我懂我懂…………因为很爽……………………

我们必须知道,我们终将知道…………

但我也知道这就像对象a,不可言说且永不会清晰……

Show thread

天才啊……………………

皮亚诺的这五条公理用非形式化的方法叙述如下:
Ⅰ、0是自然数;
Ⅱ、每一个确定的自然数a,都具有确定的后继数a' ,a'也是自然数(数a的后继数a'就是紧接在这个数后面的整数(a+1)。例如:1'=2,2'=3等等。);
可是仅有这两个公理还不够完整地描述自然数,因为满足这两条的有可能不是自然数系统。比如考虑由0, 1构成的数字系统,其中1的后继为0。这不符合我们对于自然数系统的期望,因为它只包含有限个数。因此,我们要对自然数结构再做一下限制:
Ⅲ、0不是任何自然数的后继数;
但这里面的漏洞防不胜防,此时仍不能排除如下的反例:数字系统 0, 1, 2, 3,3,其中3的后继是3。看来,我们设置的公理还不够严密,我们还得再加一条。
Ⅳ、不同的自然数有不同的后继数,如果自然数b、c的后继数都是自然数a,那么b=c;
最后,为了排除一些自然数中不应存在的数(如 0.3,0.22),同时也为了满足一会儿制定运算规则的需要,我们加上最后一条公理。
Ⅴ、设S⊆N(自然数),且满足2个条件(i)0∈S;(ii)如果∀n∈S,那么n'∈S。则S是包含全体自然数的集合,即S=N。 简易表述:若集合S中全是自然数,且满足两个条件:(1)0在集合S中。(2)若任给实数n在集合S中,那么n的后继数n'也在S中,那么S是包含全体自然数的集合(这条公理也叫归纳公理,保证了数学归纳法的正确性)
注:归纳公理可以用来证明0是唯一不是后继数的自然数,因为令命题为“n=0或n为其它数的后继数”,那么满足归纳公设的条件。
若将只考虑正整数,则公理中的0要换成1,自然数要换成正整数。

1 + 1
= 0’ + 1 (根据自然数的公理)
= (0 + 1)’(根据加法定义Ⅱ)
= 1’ (根据加法定义Ⅰ)
= 2 (根据自然数的公理)

wtf,星空里看到食物居然没法直接吃掉而是要收到背包里再吃!!! :ac_acg049: :ac_acg049: 退步!!完全的退步啊杯赛!!

一年吃20次寿喜烧的嘟主写的寿喜烧配菜体感
白菜:必备产品,煮久了略带酸甜味,可以说喜欢白菜就离不开寿喜烧了
海鲜菇/蟹味菇:很合适的配菜,但是不一定每一家都有
金针菇:很合适的配菜,因为金针菇太常见了似乎没见过几家不会加的
香菇:吉祥物,都会有,增加风味
玉米:吉祥物,自带甜味,酌情食用
茼蒿:最合适的绿叶植物没有之一,特别是煮软了以后的,吃了就懂
菠菜:勉勉强强替代品但是一般般
南豆腐:如果配饭的话是绝配,拌进去吃过就懂
普通牛肉:有了牛肉的话汤会更香,但是嘟主买寿喜锅已经不是为了吃牛肉了
魔芋丝:游客,感觉它在关东煮里也样
乌冬面:还行,算是蛮适配的
福袋:游客,你来干啥
南瓜:我崩溃了之食其家的邪教煮物,也不知道为什么放这个就嗯
海鲜(贝类、虾):问就是吃自助吃的,挺好吃但是感觉没什么区别
牛蛙:哈哈也是自助吃的,好吧感觉没什么区别
虾滑:同上,感觉真的被操了
鱼肉:同上
和牛:感觉吃出了潮汕牛肉锅鲜甜版的感觉
温泉蛋:无聊就煮蛋吃,配汤还可以,煮完会搞出很多蛋花很崩溃

感觉能放但是没吃到过的:
关东煮萝卜:我觉得很合适啊有没有人整一个

没了,以上就是嘟主都吃到过什么的记录

虽然星空评分看起来不咋地但看了会儿直播就冲主角连别人家的左右脚拖鞋都能捡包里我这个传奇拾荒者也要买了它() ​​​

事实证明胡子拿来修饰面部线条真的性价比很高……相貌平平的人加点边缘线条另外挡一部分下巴和人中很容易颜值加成30%+

我除了觉得mbti挺好玩还很适合代餐之外,还十分感谢这里头普及得乱七八糟的那些刻板标签,因为很多年来跟别人解释自己的性格根本没人信我(比如我不是不喜欢你也不是不想跟你玩真的我累了不想跟人说话),现在说我是XXXX或者XX人就好使了。更妙的是对于根本不知道我测试结果的人,我可以挑选一些不属于本类的刻板印象来利用,别人一样能“哦哦哦我懂了”,这难道还不足够吗!

嘴馋喝了两天拿铁配抹茶牛奶,乳糖不耐拉了两天 :0530:

今天有人群里狂夸封神结果引得我俩聊了几个回合…

Show older
飞面

“煮喝醉之后把触手伸向fedi宇宙,于是有了拉面站~ ”
Mastodon是一个新兴的社交网络,核心理念是“Giving social networking back to you”,使用分布式的架构,整个网络由若干自发节点构成的联邦宇宙fediverse,从而从根本上杜绝censorship的可能性。另一方面刻意避开了推荐算法,让sns回归原本原子化的“人和人的社交”。
拉面站是fedi中的节点之一,主题是飞天拉面神教FSM,是一个一本正经胡说八道的反宗教宗教,具体可以参见飞天拉面神教介绍,本质是个欢乐沙雕生活分享兴趣交流为主题的站点。
这里欢迎飞天拉面神教FSM信徒,希望你们遵守站点规则里的阿西八戒。
这里也欢迎非信徒,毕竟 煮不在乎! RAmen!
更多详情请点击下方链接: