新未名空间

forecasting 写了： 2025年 2月 17日 05:13 从图灵机到Von Neumann结构计算机再到电子计算机再到大规模集成电路而来的计算机都是先有理论，后有实现与技术。

过程语言是对应图灵机，给通用图灵机输入特定图灵机的编码（程序）以模拟（simulate）特定图灵机。
prolog由逻辑而来
lisp由λ演算或而来。

所以都是先有理论，后有实现。

就是用头走路。

最有趣而完美的是lex和yacc，完美实现了形式语言理论和工程实现的融合。

后来的计算机实验经常是头和一条腿走路。
然后是头和双足走路。

现在的Deeplearning突然只用双足走路了，忘了还有头，像武圣关羽。cs会不会将来大喊，“还我头来”？

jgljk 写了： 2025年 2月 17日 05:16 这个观点很与意思啊。意识是说神经网络这些玩意，在没什么理论，没怎么透彻理解的情况下，就突然能自己正常工作了吗？