如果不承认选择公理,现代数学会变成什么样子?
让我们把目光转向构造主义取得大胜利的隔壁宇宙 在隔壁宇宙, 分球悖论被成功解决, AC 论者都被烧死, 骨灰都拿去喂鱼 来看下他们取得的伟大成就: 在隔壁宇宙, 不管你承认还是不承认选择公理, 无穷集都有各种奇葩的分法 导致很多数学家, 比如纳什, 康托尔, 哥德尔等等都进了精神病院. 天天念叨着, 分不清, 我是真的分不清啊! 基本上没得玩了。 选择公理跟大量定理是等价的,不承认选择公理,意味着这些这些定理全都要推翻,特别是代数和集合论会成为重灾区。 Wikipedia[1]上列出了选择公理的… 在主页展开
[清水河畔] 硕士毕业论文写作时间线梳理
拖延症晚期的我终于也快走完毕业流程,想留下一些个人经验供学弟学妹们参考,希望对大家有所帮助。以下仅仅是我个人的一些经历和想法,如果有不合适的地方欢迎大家批评指正。 首先,论文需要什么?创新点和工作量,两个至少得满足一个。工作量一定要在论文中有所体现(因为创新点不多),注意是自己负责完成的部分,前人/同门的研究成果在必要时可以写进去,但是要分清主次关系。工作量比如:算法的设计,参数的选择,做了哪些实验/仿真,得到哪些数据,用什么方式处理数据并展示最后结果,分析结果/现象等。 研三9月~12月,完成… 在主页展开
孔子遇见电车难题会怎么办?
孔子在鲁国担任大司寇。 子路向他请教:“我听说泰西以西,有个海岛,划着小船就可以过去。那里有车用电,有路设轨。车在轨道上行驶,不可以脱离。有一个疯子,把五个无辜的人绑在了轨道上。一辆失控的电车朝他们驶来,片刻之后就要碾成肉泥。幸运的是,您在外面,可以拉动一个拉杆,让电车开到另外一个轨道上去。可是问题就在这里,因为另外一个轨道上也绑了一个人。像这样的情况,夫子会如何选择呢?” 孔子正色道:“典守者难辞其咎啊!” 子路说:“老师,现在已经无法讨论管理者的问题了。电车马上要轧上去了,情况很紧急了,您到… 在主页展开
Microsoft+YaHei+Mono 字体/vsc的默认字体
从此处获取. Microsoft+YaHei+Mono 以及 Ubuntu Mono derivative Powerline vsc是通过分开设置中英文字体实现的, 但是MATLAB不能这么设置, 所以有人合成了这个字体, 可以解决MATLAB的丑陋字体问题. 需要放置在 才能在 MATLAB-预设项-字体设置 找到. 2023年7月25日… 在主页展开
选择公理一直是一个争议点,我发现很多教科书的证明都默认选择公理成立,这是否有问题?
少女是数学神教中的一名教徒。她正在学习拓扑学,时常被其中种种美妙的结论所折服。比如说,赋范空间是有限维的当且仅当单位球紧。维度可以被单位球的拓扑性质所描述,多么神奇。 一天,在她看到Tychonoff定理(任意多个紧致空间的乘积是紧致空间)时,突然之间,一阵兴奋和不安传遍她的全身。但她并没有马上弄清楚为什么。 任意多个紧致空间的乘积是紧致空间……任意多个……她的思路仿佛被打开了,向着数学最根基的东西开凿而去。 [-1,1] 在R中是紧的,那么无限多个这样的紧致区间相乘,就得到了紧致的单位方体。可… 在主页展开
【资源上架】组合数学
《组合数学》(第4版)[(美)Richard.A.Brualdi] 点击下面的链接进行在线阅读,获取操作。 注意!Lbook业务已经进行改版,请从Lbook入口进入并获取PDF资源,下面的资源现在无法访问! 组合数学(第4版)[(美)Richard.A.Brualdi].pdf 简介 组合数学的起源很早,在古代世界各地都有出现,无论是国内的《九章算术》还是国外的《Sushruta Samhita》中都有简单的组合问题的出现,或者说古代一切关于计数的问题都可以归于组合数学的范畴。 文艺复兴之后,和… 在主页展开
黎曼和高斯的奇闻异事
1854年的一天,德国一位年轻人为了获得一个讲师的职位,需要做一次入职演讲,演讲的题目由大数学家高斯来指定,根据以往的潜规则,主考官会在前两个题目中挑选一个,可是高斯直接跳过了前两个题目选择了第三个——关于几何学基础的研究。因为他也花费了几十年时间来思考这个问题,他想听听这个年轻人是如何看待这个问题的。 年轻人大吃一惊,尼玛,不按套路出牌啊!于是只好硬着头皮加班加点赶工,在多花了7个星期以后总算拿出了一篇初稿,题目为《论几何学基础的假设》,为了让观众能听懂他在讲什么,他压缩了所有的分析过程,只保… 在主页展开
【工具】戴森球计划 量产工具
点击这里: 戴森球计划量产量化计算器工具 进入。 在大后期,为了冲万糖,面多加水水多加面的和面式产线构建显然是不合适的。 此时你需要预先计算自己的产线需要多么大。 笔算是麻烦的。 所以, 我们有了量产工具。 使用方法 在上方输入相关要求(产量,等),然后选择你要的商品(在上方那个3×3阵列图标,点击一下展开菜单) 然后你就能看到总需求了。 注意,针对存在多种合成配方的情况,可以选择特定的配方进行统计。 需要正确选择制造台,熔炉,增产剂等。 来源 请查看量产工具网页下方的链接 2023年6月24日… 在主页展开
