主題
Search

丘奇定理

丘奇證明了幾個重要的定理，現在都以丘奇定理的名字命名。

丘奇定理之一指出，不存在一致的 可判定的 皮亞諾算術的擴充套件 (Wolf 2005)。

丘奇 (1936) 還證明了，具有至少一個至少二元謂詞或至少兩個至少一元函式符號的一階 重言式集合不是遞迴的。

另請參閱

丘奇-羅瑟定理, 丘奇-圖靈論題, 判定問題

此條目部分內容由 Marcin Mostowski 貢獻

使用 探索

參考文獻

Church, A. "A Note on the Entscheidungsproblem." J. Symb. Logic 1, 40-41, 1936.Church, A. Introduction to Mathematical Logic. Princeton, NJ: Princeton University Press, 1996.Wolf, R. S. A Tour Through Mathematical Logic. Washington, DC: Math. Assoc. Amer., p. 146, 2005.

在 中被引用

丘奇定理

請引用為

Mostowski, Marcin 和 Weisstein, Eric W. "丘奇定理。" 來自 —— 資源。 https://mathworld.tw/ChurchsTheorem.html

主題分類