在你的主題演講中，你將提到古代哲學家。事實上，柏拉圖、亞里士多德等人都是邏輯形式化的奠基人。他們的概念已經(jīng)可以與編程相比較了嗎？

互補但不可比。在我的主旨演講中，我從柏拉圖通過Occam解決問題的方式，通過亞里士多德的本質(zhì)和偶然屬性，追溯到當今軟件的核心問題之一：偶然復雜性。我想強調(diào)兩點：第一，技術(shù)專家忽視過去（包括古代和現(xiàn)代）會給我們帶來危險。我們似乎認為只有新事物才有價值。第二，我們認為軟件所獨有的許多東西在“真實”世界中幾乎以相同的方式存在。

在古代雅典，邏輯思維被認為是人類的最高能力之一。今天這是由計算機來完成的。那么留給我們?nèi)祟惖氖鞘裁茨兀?/span>

思考不是由計算機完成的！計算機遵循文字指令，就不能進行邏輯跳躍。用電路所做的邏輯與人類應用邏輯的方式不同。事實上，編程中最不有趣的部分是語法對問題的機械應用。右腦洞察驅(qū)動的開發(fā)更有趣（發(fā)現(xiàn)設計模式、緊急設計等），這完全是人類的活動。科學家們研究人工智能已經(jīng)有很長時間了，但進展甚微。我并不擔心計算機會足夠聰明，可以在很長一段時間內(nèi)做任何有用的事情。

哪些“老經(jīng)驗”仍然適用于現(xiàn)代問題，而哪些在今天肯定不再適用了？

如果你讀過像弗雷德·布魯克（Fred Brook）1975年寫的《神話般的人月》（Mythic ManMonth）這樣的書，你會發(fā)現(xiàn)什么適用于當今的軟件開發(fā)，什么不適用于當今的軟件開發(fā)。他深入討論了如何管理使用大量大型機匯編語言的項目，以及封裝的優(yōu)點。我們已經(jīng)很好地理解了這一點，并且我們的語言和工具允許我們忽略這一抽象層次（就像我們不認為硬盤驅(qū)動器是旋轉(zhuǎn)的盤片，而是隱喻性的文件和文件夾）。我們沒有解決的問題是流程和管理問題。即使30多年后，人們?nèi)栽趯ふ毅y彈，弗雷德·布魯克意識到銀彈并不存在于他的書中。那些不記得過去的人注定要重蹈覆轍（喬治桑塔亞納）。知識在軟件中很重要，了解過去可以讓我們利用已經(jīng)存在的錯誤和見解。

如果我們談論現(xiàn)代編程語言，從哲學的角度來看，有哪些語言比其他語言更豐富？還是只關(guān)乎務實和效率？

如果你看看現(xiàn)代編程語言，表達能力非常重要。JVM上的現(xiàn)代語言的一個共同主題是更高的表達能力和更少的限制行為。這個Java.next文件語言試圖縮短從意圖到結(jié)果的距離。Saphir-Whorf假說認為，你所使用的語言會影響可能的思維方式。如果你使用更具表現(xiàn)力的語言（計算機或其他），你的詞匯就更豐富了。語言借用其他語言的短語是有原因的，因為它們的內(nèi)涵更豐富。表現(xiàn)力很重要。