聖塔非研究所

「科學知識」沒有可證明的限制

2026-03-18 · 工作論文 · 更新 2026/03/19 上午12:26

摘要 J. F. Traub 和 H. Wozniakowski 在一篇關於無法精確解決但可以用平均意義計算的問題的文章中提出了一個挑戰:“我們認為現在是加大賭注並嘗試證明存在無法回答的科學問題的時候了。換句話說,我們希望建立一個物理哥德爾定理。”出於這個想法,在聖達菲研究所(1994 年 5 月 24 日舉辦了一個 F.主持,題為「科學知識的限制」。這次研討會的參與者包括生物…

本頁只刊出中文翻譯與中文說明;英文原文請見下方原文連結。

原文連結

論文資訊

  • 類型:工作論文
  • 編號:工作論文 #1360
  • 日期:2026-03-18

摘要

J. F. Traub 和 H. Wozniakowski 在一篇關於無法精確解決但可以用平均意義計算的問題的文章中提出了一個挑戰:“我們認為現在是加大賭注並嘗試證明存在無法回答的科學問題的時候了。換句話說,我們希望建立一個物理哥德爾定理。”出於這個想法,在聖達菲研究所(1994 年 5 月 24 日舉辦了一個 F.主持,題為「科學知識的限制」。這次研討會的參與者包括生物學家、物理學家、經濟學家、哲學家、心理學家、數學家和電腦科學家,他們對「局限性」有著不同的看法,涉及自然科學或其他領域。該小組的一些思考以及他們隨後的電子郵件交流已收集在聖達菲研究所的報告中。本報告的標題「關於極限」省略了對「科學知識」的提及,而本次研討會基本上沒有提及這一點。同樣,媒體上發表的有關本次研討會的評論也沒有註意到這個基本概念。本文將概述「科學知識」的一個概念,並將解決這種科學知識的局限性問題。