热门标签：
Mac 多显示器 显示器扩展 requests patch 并发 Alpine Linux BSD Linux 电动汽车 全部标签

1+1=2的证明：探索《数学原理》

2024-10-22

本文探讨了怀特海和罗素的巨著《数学原理》是如何证明1+1=2的。作者首先介绍了该书的历史背景和重要性，然后详细分析了书中关于集合论、关系论以及序偶的定义和定理。作者指出，由于当时数学逻辑的发展水平有限，书中的证明过程冗长且重复，但其核心思想与现代数学并无二致。最后，作者还探讨了《数学原理》中使用的符号系统以及其对后世编程语言的影响。

阅读更多
(blog.plover.com)
25
未分类

重温富兰克林的《穷理查年鉴》

2024-08-15

本文回顾了本杰明·富兰克林在1732年至1758年间每年出版的《穷理查年鉴》。文章详细介绍了年鉴的印刷过程、内容结构以及其中包含的天文信息、名言警句等。作者还特别关注了1752年英联邦历法改革对年鉴的影响，展示了当年九月缺少11天的特殊情况。

阅读更多
(blog.plover.com)
35
未分类

单子就像墨西哥卷饼

2024-06-02

这篇博客文章用墨西哥卷饼生动地解释了单子（monad）的概念。作者将单子比作一种函子，它将一种类型（如肉或豆类）转换为另一种类型（如牛肉卷饼或豆类卷饼）。作者详细解释了单子的映射、连接和单元函数，并用墨西哥卷饼的例子进行说明。

阅读更多
(blog.plover.com)
44
未分类 函子 单子

这是一个充满奇迹的时代

2024-05-13

本文作者漫步费城，想象与本杰明·富兰克林对话，探讨自 1790 年以来世界的变化。作者认为，许多现代科技，如互联网和登月，虽然令人惊叹，但富兰克林或许不会感到太过意外。真正令富兰克林震惊的是一些日常科技，例如CAT扫描和GPS，这些科技的工作原理对 18 世纪的人来说难以想象。作者还列举了其他令人惊叹的科学进步，如对秀丽隐杆线虫所有细胞及其连接的了解，以及对果蝇幼虫大脑神经元和突触的完整映射。最后，作者感叹道，我们甚至能够从地球上数十亿块岩石中识别出数百块来自火星的陨石，这充分展现了人类知识的进步。

阅读更多
(blog.plover.com)
46
未分类 奇迹