即刻App年轻人的同好社区
下载
置顶
顺便给朋友们提供一个自然数到质数的单射构造：由切比雪夫定理可知，对于大于1的自然数n，在n和2n之间必存在质数，那么构造区间[2,4][4,8]…[2的n次方,2的n+1次方]，每个区间中选取最小的质数，这样就构成了一个互不相同的单调质数数列，这样每个自然数都能找到唯一的一个质数。（除了0，单独再给他找一个吧，比如3。）
最后，我还有一个更困难的问题想请教：
请问符玄是抽0+1，还是1+0？
最后，我还有一个更困难的问题想请教：
请问符玄是抽0+1，还是1+0？
代码混音师Delton: 星穹铁道有个很经典的问题「质数和自然数哪个更多？」答案是「一样多」。先不说无穷大的大小比较已经不是一个初等数学能解决的问题，要涉及对「势」的定义。更离谱的是，刚突然发现，自然数到质数的单射是好构造的，但是质数到自然数单射的构造是需要依赖良序定理。良序定理是选择公理（AC）推出来的。而选择公理是 ZFC 公理系统出来的。但是给 ZF 增加 C 公理是极富争议性的，而且它是存在性而不是构造性的。当一个定理依赖 AC 的时候通常需要被明确指出。 「质数和自然数哪个更多？」 「停停，你说的是啥公理系统啊？」
3 11
学习了。我之前一直觉得质数到自然数的单射是最简单的，甚至是直觉的，它映射它自己不就完了么。晚饭的时候搜了一下良序定理和相关概念，才意识到，这个映射本质上是在说把P映射到（自然数从小到大排列后的）第P个自然数，当然另一种映射方法：Pn作为第n大的自然数映射到n，也是一样的，都需要使用序数概念，而序数概念是建立在良序集概念之上的。
代码混音师Delton: 星穹铁道有个很经典的问题「质数和自然数哪个更多？」答案是「一样多」。先不说无穷大的大小比较已经不是一个初等数学能解决的问题，要涉及对「势」的定义。更离谱的是，刚突然发现，自然数到质数的单射是好构造的，但是质数到自然数单射的构造是需要依赖良序定理。良序定理是选择公理（AC）推出来的。而选择公理是 ZFC 公理系统出来的。但是给 ZF 增加 C 公理是极富争议性的，而且它是存在性而不是构造性的。当一个定理依赖 AC 的时候通常需要被明确指出。 「质数和自然数哪个更多？」 「停停，你说的是啥公理系统啊？」
2 00
漫长的季节第11集中，王响在KTV唱了一首《在那桃花盛开的地方》，他的短句是：在那～桃花盛开的地方～ （正确的唱法是：在那桃花～盛开的地方～）
这个包袱第一次出现是在电视剧马大帅中，同样由范伟饰演的角色范德彪演绎。
这个包袱第一次出现是在电视剧马大帅中，同样由范伟饰演的角色范德彪演绎。
15 13
今日疑惑：我爸近日收到别人赠送的一件T恤，赠与人供职于吉林省辽源市某钢铁企业，年龄与我爸相仿。我爸问我是不是国外的牌子，我仔细一看，发现是即刻2019年Hackathon 的纪念T恤
我：？ （地铁老人手机）
我：？ （地铁老人手机）
13 40
大概是在2016年的时候，知乎上线了知乎live，不久后果壳网上线了分答，随后知乎将4月1日上线的值乎改版对标分答。那时候我还在第一家公司第一个组里，全组的同事在近半年内没有尝试体验过上述产品。这是一个没有拿到明面上说，但实际影响占比很大的，促使我转岗的原因。近日，几个月来chatGPT持续火爆，我所认识的诸多经典字节跳动90后一线leader们（非研发），几乎都没成功注册账号并体验。
16 80
