人类认知最好被理解为信息处理层次的层级结构。
Human cognition is best understood as a hierarchy of information processing levels.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
Make women rational creatures, and free citizens, and they will quickly become good wives, and mothers; that is, if men do not neglect the duties of husbands and fathers.
如果你想解决大问题，首先要提出正确的问题。