🌗 艾茲赫爾·戴克斯特拉檔案：論「自然語言程式設計」之愚鈍（EWD 667） ➤ 捍衛形式符號的精確性：為何機器不該「說人話」 ✤ https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html 艾茲赫爾·戴克斯特拉在本文中嚴厲批評了以自然語言進行程式設計的構想。他指出，大眾往往將形式符號的精確性視為負擔，渴望機器能理解模糊的人類語言以減輕心智壓力。然而，戴克斯特拉藉由數學發展史論證，科學的進步恰恰得益於脫離口語、轉向精確的形式符號系統。他認為形式化並非障礙，而是防止邏輯謬誤、讓複雜運算變得可控的強大工具；若捨棄精確介面而轉向自然語言，不僅會讓機器開發變得極其困難，更會因語言本身的模糊性而導致效率低下，最終迫使人類重新花費數千年來建立形式化邏輯。 + 戴克斯特拉的觀點在當今大型語言模型（LLM）盛行的時代看來依然震撼，他精準預見了模糊性帶來的工程挑戰。 + 確實，如果程式設計缺乏嚴謹的語法規範，除錯將會變成一場永無止盡的語義猜謎遊戲。 #程式語言 #形式符號 #戴克斯特拉 #電腦科學史 #邏輯精確性