關於亞圖靈交互式可計算性的思考

本文旨在為可計算性邏輯 (CoL) 提出一個新的研究方向，即關注於不依賴無限記憶體或其他無法實際擁有的計算資源的可計算性，並將這些資源視為外部因素，在邏輯公式中明確表達。