建筑师必须是一位科学家。
The architect must be a scientist.
The theory of computation is not just about solving problems, but also about understanding the limits of what can be computed.
非经典逻辑的研究不仅是一种学术练习，更是理解复杂系统的必要条件。