5

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

 1 year ago
source link: https://www.jdon.com/62711
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
neoserver,ios ssh client

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


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


About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK