學科門戶
生之科學
Science of Generation
西方知識以「是」為核心，研究良基存在者，其邊界是集合論的正則公理。被這條公理排除的循環自嵌套結構（固有類），正是以「生」為核心的生之科學的起點。它以陰陽五行為形式語言、旋機為基礎範疇，並把存在之科學視為自身的退化投影。生之科學理論體系由問道研究所李旭彤提出。
- 0
- 條目
- 0
- 分支
- 0
- 概念
- 30
- 公開命題
精選條目
編輯推薦的條目：把文章設為「置頂」即排在這裡，不足時以最新條目補齊。
學科地圖
本學科的主要分支。每個分支下是一組相互關聯的條目；分類說明就寫在「文章 › 分類」裡。
最新研究
分支文章
按學科分支瀏覽條目。點分支名只看這一支。
核心概念
進入本學科前需要先認識的幾個詞。點開看定義，再順著連結讀完整條目。
概念一
用一句話給出定義：屬加種差，或者說明它由哪些更基本的概念生成。
概念二
說明它在本學科中的作用：它回答什麼問題，常與哪些概念一起出現。
概念三
指出常見誤解：它不是什麼，與哪個相近的日常用法要區分開。
概念四
給出一個最簡單的例子，讓初學者能立刻對上號。
概念五
標明出處：最早由誰提出，在哪部文獻裡得到系統表述。
概念六
連結到詳細條目：詞條只是入口，完整論述放在條目裡。
學習路徑
不知道從哪裡讀起？按這四級循序漸進。每一級把對應的條目連結填進去即可。
- 入門讀懂基本概念不需要預備知識。先讀學科總論與核心概念詞條，建立整體圖景。
- 基礎掌握核心論斷逐條讀懂本學科最重要的幾個定理或命題，以及它們是怎麼得到的。
- 進階學會方法與模型親手用一遍本學科的方法：建模、推導、檢驗，做幾道例題。
- 前沿走到開放問題閱讀最新研究，挑一個開放問題，看看自己能推進哪一步。
公開命題庫
學科的每一條論斷都有編號與認知級別：定理、經驗結論、結構性判斷……級別隨證據升降，變動公開記錄。
固有類（在本項目意義上的循環自嵌套結構）以終餘代數 νF ≅ F(νF) 為數學家園。
在反基礎公理（AFA）下，（平坦）方程組有唯一解（Aczel 解引理）；本原方程以此取代公理命題。
以互模擬為身份判據；有限情形可經 Paige–Tarjan 分劃細化判定。
5 是在同一元素集上同時支撐兩條互不可化約的有向哈密頓圈（步長 1 與步長 2）的最小整數，故五行之「五」由數論決定。
克＝生²：在 ℤ₅ 上，相剋映射是相生映射的平方。
5∤2ᵏ：五行軌不可化約為二進制（陰陽軌）表示。
Logistic 映射的倍週期 2ᵏ 軌道全部出現在累積點 r∞≈3.570 之內；週期 5 只出現在其外。
Sharkovskii 定理（外部錨點）：區間連續映射的週期序遵循 Sharkovskii 序。
互卦盆譜：互卦是唯一不可逆的卦間關係，64 卦在互卦迭代下的吸引盆譜（三盆吸引子）可窮舉確定。
- 基設級 1
- 承重的出發點。與定理不在同一確證軸上：地基與樓層不比高低，只分承重與被承。不得有邏輯前提；以基設依賴集向下游標註。
- 定理級 14
- 有證明的數學或邏輯結論：須附證明鏈接（Lean、Coq、論文、附錄、教科書）或立於既有數學的外部錨點。
- 實測級 1
- 經測量得到的結論：應附數據鏈接與獨立方法的交叉核對。
- 結構推論 3
- 由結構論證得出、尚未形式化為定理的推論。
- 闡釋級 2
- 在本框架內的解釋性讀法；不是定理，不作計算基礎。
- 詞典級 2
- 與其他學科術語的詞典級對照；只表示可互相翻譯，不表示結構同一。
- 工程級 2
- 工具、軟件或模型。不在級聯標尺上，不得作邏輯前提；可作 instrument（工具）邊。
- 綱領級 2
- 研究綱領或寫作中的目標，尚未完成論證；不進入首頁精選。
- 須拒斥 3
- 經審視應當拒斥的說法，公開列出並說明理由。不得作非拒斥命題的邏輯前提。
級聯規則
- 結論之級 ＝ min（前提之級，推理之嚴格度）。只有 logical 邊參與級聯；instrument、context、refutes 邊不參與。
- 標尺：基設 6、定理 6、實測 5、結構推論 4、闡釋 3、詞典 2、綱領 1；工程級與須拒斥不在標尺上。
- 作者的保守聲明向下游傳播：前提的有效強度取其聲明級別與計算上限中的較小者。
- 邏輯循環不是錯誤：未守護的循環整個強連通分量封頂為結構推論；全部成員有守護證書時不封頂。
- 級聯只檢查一致性，不檢查真偽；推理嚴格度由作者自報。
開放問題
一門學科的生命力在它尚未回答的問題裡。歡迎就這些問題投稿與討論。
待解
問題一：一句話說清問題本身
為什麼重要、難在哪裡；目前最好的結果是什麼，離解決還差哪一步。
進行中
問題二：可以檢驗的猜想
給出可檢驗的表述與判據：什麼樣的證據算支持，什麼樣的證據算推翻。
已有部分結果
問題三：跨學科的介面
本學科與相鄰學科交匯處的問題：需要哪邊的方法，已有哪些合作。
學科年表
把「起點」等字樣換成年份。年表只記改變了學科走向的事件。
- 起點問題的最初提出：誰、在什麼背景下第一次把它當作問題。
- 奠基第一部系統著作或第一個核心結果，學科從此有了自己的語言。
- 轉折一次方法上的突破，或一次重要的更正——學科因此改變了方向。
- 今天當前的研究重心與正在進行的專案。
學科資料庫
本學科的術語、文獻、更正與文集，按條目系統排列。
撰寫條目
條目由研究者撰寫、編輯審定。歡迎提出新條目，或為已有條目補充證據與文獻。
勘誤與更正
發現錯誤請告訴我們。每一次實質修訂都記在條目的修訂日期裡，重要更正公開登記。
引用本站
每個條目頁末都有 GB/T 7714、APA 與 BibTeX 三種引用格式，可一鍵複製。