True leaders are not those who give orders, but those who can inspire others to follow voluntarily.
真正的领导者不是那些发号施令的人，而是那些能够激励他人自愿跟随的人。
Thinking consists in envisaging, realizing structural features and structural requirements.
计算理论不仅仅是关于解决问题，还涉及理解可计算性的极限。