思考的快与慢，数理逻辑与形式化方法大佬Moshe Vardi的版本。
机器学习是快思考，数理逻辑是慢思考。
读过Daniel Kahneman写的Thinking, Fast and Slow（思考快与慢）的朋友应该有印象，书里一个主要的观点就是，人脑有两套思考系统，一套是快速响应，一套是深度思考。
Moshe以此类比机器学习和逻辑推理的关系。形象！
ps. Moshe说研究SAT的人当时不应该把新方法取名叫conflict driven clause learning，而应该叫Deep Learning，可能普及程度会好很多[哈哈]
发布于 上海