パタン・ランゲージの理論的基盤：数学的構造主義とヒルベルトの形式主義

摘要

本論文では，プルバキの数学的構造主義とヒルベルトの形式主義からの影響を中心にアレグザンダーの初期理論の全体像を検討した．　ここで明らかになったことは，『システム』に挙げられている2つの概念，「全体としてのシステム」と「生成システム」が，それぞれブルバキの構造主義における「構造」とヒルベルトの形式主義における「形式システム」に対応すること，そして，「生成プロセス」が形式システムにおける証明プロセスをモデルにして構築されていることである．%In this paper, 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.