問道研究所

Reasoning Research Institute

學科史與年表

生之科學的問題有兩個來源:一邊是中國傳統中以陰陽之道自上而下演繹的生成思想,一邊是二十世紀數學在良基邊界上的工作——正則公理、非良基集合論與餘代數。

思想來源

道家、易學與中醫傾向於從高層生成原理向下演繹,弱點在於高層原理的識別歷程被壓縮為直覺的整體把握,缺少顯性的資料與機率記錄;西方實證科學傾向於從低層觀測向上歸納,結論永遠是機率性的。兩者互補。闡釋級

西方思想中的近鄰:懷特海的過程哲學最為接近,但仍是單向的生成序列,缺少互生所需的對稱性;Aczel 的非良基集合論在邊界處最接近,但仍以「是」為算子。闡釋級

年表

  • 先秦《周易》《老子》:陰陽之道與「道可道,非常道」——道不能被「是」把握。
  • 1925—1930馮·諾伊曼與策梅洛把基礎公理(正則公理)納入公理集合論,排除循環隸屬:良基存在者的精確邊界。
  • 1964沙爾科夫斯基定理:連續映射的週期蘊含序。
  • 1976—1978May 的邏輯斯蒂映射研究與費根鮑姆普適常數:倍週期通向混沌。
  • 1987Paige 與 Tarjan 的分劃細化演算法:有限互模擬可高效判定。
  • 1988Aczel《非良基集合》:反基礎公理以最大不動點取代正則公理。
  • 2026李旭彤《生之科學》七編結構定稿;無公理定理;「實體不攜帶路徑」升為基設級;問道研究所(原大道研究院)更名。
  • 2026-09《生之科學推廣與社會影響規劃》第三版:「生產集中、驗證分佈」;《破題問題譜系》:從難題出發,內環六題;《閉環時代》:閉環問題的四個層級與七項理論缺項。

路線圖

以下為規劃(以 2026 年 9 月 28 日為起點),判定指標事先設定,執行中的修改須記錄理由並公開;具體閾值待作者確認。

  • 2026-10 至 12第〇階段·清理與築基:命題庫種子審定;累積更正傳播;門戶上線前預檢;首條 Lean 形式化(克 = 生²);內環六題的問題界定書。
  • 2027—2028第一階段·可核驗信用與首批解法包:細胞命運、DTEB、軟體循環三個解法包的預註冊與檢驗;三批 Lean 形式化;門戶英文版與 MCP 介面;每個問題類招募獨立驗證者。
  • 2029—2031第二階段·驗證網路與能力擴散:外部研究者資助;邀請制研討會;《生之科學》中文全本與《存在之科學》出版;解法包擴展到四至六個問題類。
  • 2032 起第三階段·整體展開:以大一統定理完成並通過評議為前提;此前整體世界觀不作對外主推。

重要更正

一門學科的歷史也包括它改正自己的歷史。本體系已確認的更正例如:νF 是道的諸像之一而非道本身;「關係先於實體」改為「關係與實體同時生成」;兩門科學的體系關係是涵攝非對稱,而非對稱的陰陽兩面。完整清單見編輯方針。

AI 助手