Mulling Over Shapes, Rules and Numbers

This paper explores the relationships between geometric constructability, numbers, shapes and shape grammars. Shapes are based on compositional constructs in geometry, which rely upon drawing instruments. Implementing shape grammars relies upon numeric encodings, properties of which specify whether shape algorithms are decidable and/or tractable.