好的软件哲学家有哪些? - Hillel

22-10-01 banq

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、鲍勃·马丁大叔、理查德·马修·斯泰曼、拉德姆·格雷斯·霍普