停止性問題
停止性問題
停止性問題
,
計算可能性理論
,
アラン・チューリング