Alan Turing

停止性問題（Halting Problem）：絕對無法打造的最強程式