关于状态:
系统构建者与问题解决者
数学里有理论构建者与问题解决者,参考这个回答:所谓的数学品位是什么? - Yifan的回答。
算法=逻辑+控制
1979 年,英国逻辑学家和计算机科学家 Robert Kowalski 发表论文 Algorithm = Logic + Control,也即算法 = 逻辑 + 控制。