开源数学软件zzllrr Mather小乐数学的五个协议5 Protocols of zzllrr Mather
5 Protocols of zzllrr Mather
小乐数学的五个协议
前言Preface
所有的大型复杂系统工程，都需要一个纲领性的内核，来指明目标方向、原则宏旨，这样才能更容易处理未来发展遇到的种种矛盾。小如修路，大如登月，无一不如此。数学史上，有Langlands朗兰兹纲领（可行，但未完工），Hilbert希尔伯特纲领（不可行，被哥德尔不完备定理否定）。从系统科学的角度，整个数学，无论纯数学还是应用数学，作为一个系统，如果希望它能长期发展、广泛普及、加速演化，都需要一个科学合理的框架协议。本文中提出的5个协议，虽然未必严格符合公理化（相容性、独立性、完备性）的要求，实践中也有诸多实际困难，却不失为是一个可以渐进达到，并能延展数学边界，充分发挥数学效能价值到极致的方向。
概述Summary
小乐数学的协议，有五点，主要是从系统学、工程学、人文约束等方面作的规范和要求，可以理解为数学工作者的理论愿景及实践原则。其中有机体协议，是从系统学角度来看，数学本身要健康茁壮发展，必备的条件和要求。可本地计算和联网协议，是从自组织和协同学方面提出的要求。能耗最小化协议，是从信息论和工程学方面提出的努力方向。开放获取协议，是从社会学和道德法律伦理角度提出的人文约束。共识和合作协议，是从命运共同体互助共生的人文角度提出的诉求。
内容Content
1、 有机体协议 Organism
数学是一个整体的统一的系统性的基础学科。为了实现基础的普适的价值，数学不应被过度碎片化、或小众化及片面化地认识理解和狭隘解读，甚至过度商业化和功利化的发展。在软硬件设计，数学教育和推广交流方面，应尽可能贯彻整体性和立体性原则，实现多通道、多连接、多层次、多形态的传播模式，提供必要的上下文说明、历史背景与现状前景，划清已知和未知、已解和未解问题的界限，最终维护数学的整体形象，并为当代和后代的人们学习和继承发展数学，克服困难扫清障碍，提供和创造尽可能多的便利条件。
2、 可本地计算和联网协议 Offline Computation & Online Connection
硬件方面，针对可计算硬件，需底层支持：在本地离线状态下，对当今全部已知数学对象模型的基本运算，同时预留联网接口。为将来高速智能的物联网打下坚实基础，并能部分缓解因联网计算失效造成的风险。 软件方面，针对系统级或平台型基础软件，需全面支持：当今已知数学运算（数学知识库由数学工作者共同参与维护，并定期更新版本），并开放算法API接口，供软硬件应用者调用。
3、 能耗最小化协议 Energy Consumption Minimization
数学计算和交流应追求简洁高效，各种数学活动中应减少不必要的冗长重复劳动和能量消耗。公开的知识、数据和算法，能尽可能被标准化、规范化地简化、压缩、引用和重用，在传播和普及过程中消耗最少的人力和自然资源和能源。 举例来讲： 数据存储或机器间通信，应使用数学函数与反函数运算进行信息编码和高度压缩。例如，一个视频文件中存在两个相同的帧或视频片段，就可以使用多项式y=2x这样的数学函数关系，来压缩数据，不同帧之间应尽可能找出最简单的函数表达式，进行语义化存储。 验证当今的数据存储和压缩软件的算法设计是否满足这一思想或协议，有个简单的方法，即把任意一个文本或视频文件，通过相应软件，复制后拼接在原文本或视频后面，然后看这个新生成的文件体积是否明显倍增。
4、 开放获取协议 Open Access
针对数学相关的基础学术资源，知识产权版权拥有者应充分地开放授权（首推Creative Commons，即CC协议），并同时获得充分的尊重（应有数学工作者协会进行档案维护）。
5、 共识与合作协议 Consensus & Cooperation
数学研究者、教育者、学习者、应用者、普及者，需紧密合作融合，尽可能减少（尤其数学方面的）偏见隔阂和认知屏障，以更好地全面适应未来智能机器革命时代的到来。 偏见隔阂的消除，需要我们摒弃意识形态、政见、人种、性别、年龄、分工、知识背景、专业能力、财务、社会资源、社会地位等方面的差异及歧视。 认知屏障的消除，需要我们互通有无（尤其是数学陷阱各种坑、数学捷径各种宝），以蚁群、蜂群精神和命运共同体的心态，投入各项数学活动中。
附录：
小乐数学zzllrr Mather开源项目地址
