00、背景
记得初中时候，特别喜欢证明蝴蝶定理，据说它有几十种证明方法。
证明过程如下：
在欧式几何中，"因为"的符号语言是："∵"，“所以”的符号语言是："∴"。
在任何情况下都要写出"因为什么"、"所以什么"，而不能仅仅凭表象，凭感觉或者依据经验去推断。
因此，数学是一种哲学思维的存在。
01、欧式几何
亚里士多德提出: 公理应为"最普遍的真理"。
欧几里德欣然应诺, 并以此作为划分公理与公设的依据。他在建立《原本》的公理系统时, 即是依据逻辑相关性的原则, 先给出点、线、直线、面、平面等一些原始概念的直观定义, 接着又给出由这些原始概念所派生的概念之定义, 如两条直线间的角、直角、平角、圆、直径等, 像这样一连列出23个定义、5条公设和9 条公理。这9 条公理可适用于当时的一切数学，而5条公设则是专门对于几何学而设立的。
欧几里得以这些定义、公设和公理为基础, 以形式逻辑为工具, 演绎出467个定理,筑起了一座数学知识的大厦—《原本》。
希尔伯特于1899 年出版了《几何学基础》一书，他在该书中提出了一个比较完美的初等几何公理系统。
欧几里得用几条公理和公设，演绎推导出整个几何学，这是人类思维的奇迹。
他影响了西方许多哲学家、科学家、企业家的思考方式。
甚至可以说，哲科思维就是工商文明的底层算法语言。
02、《三体——黑暗森林》
大刘也从宇宙社会学的基本公理开始得出猜疑链与技术爆炸推导出了这一黑暗森林法则。
《三体》中罗辑在宇宙社会学的两个基本公理和两大概念下推导「黑暗森林理论」利用的就是系统的公理化知识。书中「黑暗森林打击」就是系统公理化思想的威力。
首先，叶文洁告诉逻辑，宇宙文明的两条公理：
一、生存是文明的第一需要。
二、文明不断增长和扩张，但宇宙中的物质总量保持不变。
接着，大刘给出两个定义：
一、猜疑链
猜疑链在生活中无处不在。同事给儿子班主任送教师节礼物，班主任不要，她就寄到了老师家里，说“万一别人送了怎么办”
二、技术爆炸
以人类自己的发展史为例，人类文明有五千年，地球文明更是长达几十亿年，而现代技术仅仅是在三百年时间内发展起来的，但如果从宇宙的时间尺度上看，这根本就不是发展，而是爆炸。
三、推导出黑暗森林法则
黑暗森林法则，文明需要和扩张，但宇宙中的物质总量基本保持不变。因为猜疑链，文明之间无法通过交流迅速判断对方是否善意，因为技术爆炸的可能，弱小文明很可能在短时间内超越强大的文明，因此所有文明会第一时间消灭发现的更弱小的文明，同时隐匿自己的位置不让更强大的文明发现。
宇宙就是一座黑暗森林，每个文明都是带枪的猎人，像幽灵般潜行于林间，轻轻拨开挡路的树枝，竭力不让脚步发出一点儿声音，连呼吸都必须小心翼翼：他必须小心，因为林中到处都有与他一样潜行的猎人，如果他发现了别的生命，能做的只有一件事：开枪消灭之。在这片森林中，他人就是地狱，就是永恒的威胁，任何暴露自己存在的生命都将很快被消灭，这就是宇宙文明的图景。
这段文字在书中反复出现，贯穿全书，其实这是对费米悖论的解释另外一种解释。
03、 软件研发项目管理
科学管理的名称来源于19世纪80年代Taylor的著作，泰勒将这种方法形式化和商业化，并在随后的几十年里促进了效率和生产率的大幅提高。
科学管理是一种自上而下、命令和控制式的方法。项目经理使用科学化的技术来确定实现目标的最佳程序，然后指导所有下属严格按照计划执行。换句话说，现有大的前期规划，再有认真细致的实施。
瀑布式软件开发
尽管我们在无休止地失败，我们仍然坚持瀑布式思维。毕竟，这怎么可 能失败？彻底分析问题，精心设计解决方案，然后实现这个设计——如此完美的构想怎么可能一次又一次地失败？难以置信如此完美的策略会出问题，有问题的一定是我们自己，一定是我们什么地方做错了？
敏捷项目管理Scrum
于是2001年2月，17位程序员在犹他州的雪鸟镇，讨论软件开发糟糕的现状。
最后发布一个敏捷宣言：
我们一直在实践中探寻更好的软件开发方法，身体力行的同时也帮助他人。
戳破幻想是敏捷的主要目标之一。
敏捷是种尽早、持续泼冷水的方式，用骨感的现实来替代丰满的幻想。
敏捷就是要帮助我们尽早了解我们到底做得有多糟糕。
项目经理需要收集数据来管理软件项目，然后根据这些数据做出最佳决策。
敏捷产生大量的数据，项目经理使用这些数据来推动项目达到尽可能好的结果。
参考公理化思维，
一、做出以下2个假设：
1、程序员的能力在短时间内不会有太多提升。
2、程序员往往高估自己。
二、给出两个定义：
1、交付日期
2、单元测试
三、推导出必须敏捷开发
敏捷开发（Scrum）是一种迭代、增量式的软件开发方法。
敏捷开发是一种以人为核心、迭代、适应性强的软件开发方法，Scrum是其中一种流行的框架。通过聚焦、迭代、自我组织等原则，敏捷开发能帮助团队更快地交付价值，提高项目成功率。
敏捷开发的核心价值观：包括个体和团队的协作、灵活响应变更、持续交付价值等。
敏捷开发的原则：包括聚焦、迭代、自我组织、透明化、反馈和持续改进。
Scrum方法：Scrum是一种敏捷开发框架，包括三个主要角色（产品负责人、开发团队和 Scrum Master）、四个阶段（规划、冲刺、审查和回顾）以及 artifacts（如产品待办列表、冲刺待办列表等）。
敏捷方法的优势：敏捷开发能提高生产力、减少项目风险、提高客户满意度、加快软件交付等。
实践中的注意事项：团队应根据项目特点和团队能力选择合适的敏捷方法和实践，持续优化过程，以确保项目成功。
04、小结
公理化思维是一种基于公理和基本概念的推理过程，旨在建立一系列相互关联的定理和结论。
公理化思维的推导过程是一个循环往复、逐步深入的过程，通过不断完善公理和命题，最终建立一个可靠的理论体系。
1900年, 希尔伯特在巴黎国际数学家代表大会上的讲演中, 曾经明确提出: “在研究一门科学的基础时, 我们必须建立一套公理系统, 它包含着对于这门科学基本概念之间所存在的关系的确切而完备的描述。如此所建立起来的公理, 同时也是这些基本概念的定义”。
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 举报，一经查实，本站将立刻删除。