学んできた分野が、どのように発展してきたかをまとめています。
建築家クリストファー・アレグザンダーの「パターン・ランゲージ」から、GoF の『デザインパターン』、そしてアーキテクチャやドメイン設計のパターンへ。ソフトウェアの設計知識が「名前の付いた解決策」として共有されるようになった流れをたどる。
ヒルベルトの問題提起から不完全性定理、真理の定義、モデル理論の誕生、そして独立性の時代へ。20世紀に数理論理学がどのように形づくられたかを、クルト・ゲーデルとアルフレト・タルスキの業績を軸にたどる。
