好的軟體哲學家有哪些？ - Hillel

banq發表於2022-10-01

1、《Clojure元素》的作者，茨特爾曼

2、我自稱計算機哲學家已經很多年了，所以我推薦richhickey和Jonathan_Blow
 
3、軟體是基於實際的哲學，一階謂詞邏輯。我透過閱讀實際的哲學而不是軟體書籍學到了很多關於軟體的知識。

4、史丹佛百科全書有電腦科學哲學，有關於軟體的小節

5、Ted Nelson 和 Bret Victor 更傾向於哲學家，同時也積極參與將軟體塑造為人類表達/工具的媒介。

6、Kumiko Tanaka-Ishii 的書《Semiotics of Programming》在這裡當然值得一提

7、
-N.喬姆斯基的形式語言理論
-H.Stachowiak用於建模
-A.Church負責可計算性

- G. Bool和K. Gödel的邏輯學研究

8、保羅·西利爾斯是一位從後現代主義角度關注複雜性理論的哲學家。

9、費爾南多·弗洛雷斯 (Fernando Flores)，他是 70 年代致力於 Cyber​​Syn 的智利社會主義者。在皮諾切特政變之後，他最終在伯克利，在德雷福斯和塞爾的領導下，他專注於將海德格爾和奧斯汀與系統設計聯絡起來。

10、鮑勃·馬丁大叔、理查德·馬修·斯泰曼、拉德姆·格雷斯·霍普

 

相關文章