Shaping Formal Methods: Syntax, Typology and Computation

Nexus Network Journal: Architecture and Mathematics guest editors Theodoros Dounas and Davide Lombardi introduce Vol. 27 (1). This special issue aims to deepen the understanding of formal methods in architectural composition by exploring three distinct approaches: syntactical (assembling elements), typological (reinterpreting existing archetypes), and computational (applying computational processes to generate form). Each approach incorporates mathematical principles that shape design creation and offer a framework for evaluating and testing architectural compositions. For instance, geometric transformations can be encoded as algorithms or grammatical rules, while parallel analytical processes validate these generated designs.