聖塔非研究所 論現實與模型 2026-03-18 · 工作論文 · 更新 2026/03/19 上午12:01 摘要 我討論四個世界之間的關係：現實、數學模型、電腦模擬和計算模型。介紹了圖靈機和實數模型這兩種計算模型的優缺點。然後討論了求解數學模型的內在困難（透過其計算複雜性來衡量）。在結論部分，我將考慮蛋白質折疊的例子，並應用我們所學到的知識來提出我們當前知識狀況不一致的一些可能原因。 原文連結PDF 來源 本頁只刊出中文翻譯與中文說明；英文原文請見下方原文連結。 原文連結 原文連結 PDF 來源 論文資訊 類型：工作論文 編號：工作論文 #1281 日期：2026-03-18 摘要 我討論四個世界之間的關係：現實、數學模型、電腦模擬和計算模型。介紹了圖靈機和實數模型這兩種計算模型的優缺點。然後討論了求解數學模型的內在困難（透過其計算複雜性來衡量）。在結論部分，我將考慮蛋白質折疊的例子，並應用我們所學到的知識來提出我們當前知識狀況不一致的一些可能原因。