Ideological Background of Christopher Alexander's Early Theory of Design

在这个研究项目中，我们通过查阅20世纪60年代的文献，在符合数学结构主义和希尔伯特形式主义的基础上，描述了模式语言的总体情况。我们考察了模式语言的语义，并表明Alexander对设计问题的定义给出了语言的语义框架。在描述了模式语言可以被看作是形式系统中类似于证明的句法对象之后，我们讨论了模式语言的局限性，并给出了他为什么需要探索由模式生成的形式的几何特征的一个可能的原因。

In this research project, we describe the overall picture of the pattern language by examining the literature in the 1960s based on the correspondence to the mathematical structuralism and the Hilbert's formalism. We examine the semantics of pattern language and show that Alexander's definition of the design problems gives the semantic framework of the language. After describing the pattern language can be regarded as a syntactical object like proofs in the formal systems, we discuss the limit of the pattern language and give one possible reason why he needed to explore "geometric features" of forms generated by the patterns.