本站的所有文章都默认为英文，中文版本由Google Translate 翻译。
由于时间限制，并非所有文章都有中文版本。
一个有趣的事实是，本网站的名称来自一本书：Logicomix：对真理的史诗般的探索。
这篇文章或多或少是对这本书的评论。
《Logicomix》是一部图画小说（或漫画书），描绘了英国著名数学家、哲学家、逻辑学家、作家和公共知识分子伯特兰·罗素的生平，特别是罗素通过尝试建立一个新的严格且可证明的基础来追求基本和绝对真理对于数学。
这本书讨论了一堆有趣的想法。
坚实基础的探索
罗素认为整个数学学科可以追溯到古希腊，是一座建在沙子上的房子，一个没有坚实地基的家。罗素认为人类所有的数学知识都是不可靠的，因为它们都是从公理和公设推导出来的，不言自明和真实的，但没有经过数学证明。
例如，几何学之父欧几里得将这一数学分支建立在公理和假设之上。
欧几里得公理:
- 等于同一事物的事物也彼此相等
- 如果等于加等于，则整体相等。
- 如果从 equals 中减去 equals，则提醒是 equals。
- 彼此重合的事物彼此相等
- 整体大于部分
欧几里德公设:
- 从任意一点到另一点画一条直线。
- 在一条直线上连续产生一条有限直线。
- 描述一个具有任意中心和距离的圆。
- 所有直角彼此相等。
- 即如果一条落在两条直线上的直线使同侧的内角小于两个直角，则无限产生的直线将在内角小于两个直角的那一侧相交。
因此，罗素将数学的基础描述为摇摇欲坠的世界龟，如图所示：
在长达十年的数学基础研究中，罗素完成了《数学原理》和《数学原理》，在此期间，他开始直觉地意识到：
打下坚实的数学基础是一个无尽的旅程，因为需要引入新的公理来证明现有的公理。这个过程一直在继续，从未停止！
如下图生动描绘：
数学的不完整性
尽管罗素直觉地意识到摆脱公理并拥有坚如磐石的数学基础是不可能的，但另一位数学天才库尔特·哥德尔在数学上证明了这一点
总会有无法回答的问题和无法证明的陈述；因此，算术，以及任何基于它的系统，必然是不完整的。
这一发现被称为哥德尔第一不完备性定理。结合他的第二不完备性定理，哥德尔在数学上证明了
形式公理化理论中可证明性的限制。
罗素的直觉和哥德尔的不完备性理论证实了一个关键点：在数学系统和建立在数学基础上的科学技术中永远存在未知和无法回答的问题，这与比利格雷厄姆的技术无法解决人类缺点的观点产生共鸣。
和平主义
拉塞尔是一个和平主义者，反对任何形式的暴力，这主要是因为他在孩提时代就曾亲身经历过战争的后果。
公众因此对他进行了严厉的批评，甚至将他关进了监狱。
罗素的处境与我们在 2022 年相当相关，俄罗斯和乌克兰之间的战争正在激烈进行，包括埃隆马斯克在内的和平主义者受到攻击和批评。
我无权评判，但我只是觉得很有趣：
当人们直接或间接地遇到战斗的结果时，他们通常会反对战争。
新一代往往受到民族主义或其他意识形态的影响，渴望战争。
历史见证了亲战和反战世代轮回的诡异轮回。
逻辑和第一性原理思维
什么是逻辑？
逻辑是新的和必要的推理！
我们应该如何看待和处理逻辑？
逻辑是人类思维必不可少的强大工具。
同时，我们应该意识到这些工具的局限性和科学技术的局限性。
然后，像生活中的其他工具一样使用逻辑，让生活更美好。
第一性原理思维
有了逻辑，我们可以通过重要问题的基本原理进行推理。