返回标签列表

数学

共 3 篇文章

公理化附录

精选

Formal Appendix | 公理化附录Module: spec/formal-appendixPurpose: MVM 核心概念的形式化定义与符号约定Status: Living Document (持续更新)概述本附录为 MVM 的核心概念提供半形式化定义。我们有意保持一定的开放性——这不是一套封闭的公理系统,而是一个可扩展的形式化接口,欢迎研究者在此基础上提出更严格的数学形式。

2025-12-25公理系统, 形式化, 数学Meta–Void Model / 系统规范

积分模型

精选

Integral Model | 宇宙积分与整体显现模块职责:连接微观快照生成与宏观宇宙图景,阐述整体显现机制依赖模块:engine/mapping-logic/formula-S.md, engine/mapping-logic/api-mapping.md被依赖于:modules/life-definition.md,...

2025-12-25积分模型, 数学, 渲染引擎Meta–Void Model / 核心理论 / 显现机制

零的数学哲学

精选

Zero Mathematics | 0 的数学哲学本文档来源于 v3 完稿附录(0 的数学史与哲学意涵)。模块概述本模块探讨数学中"零"(0) 的概念与 MVM 中"非存在"概念的深层关联。零与非存在的类比| 维度 | 数学零 (0) | MVM 非存在 | |------|------------|------------| | 表面含义 | 什么都没有 | 虚无 | | 实际内涵 |...

2025-12-25零, 数学, 哲学Meta–Void Model / 前瞻研究