23.02.2014 Views

Shape

Shape

Shape

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

314 III Using It to Design<br />

does more when I apply it in another way<br />

Then what I’m doing can repeat with plenty of surprises—here are four of them<br />

It’s a lot easier to follow this with your eyes than to be consistent about it in<br />

words. Certainly, I haven’t succeeded, fooling around with the squares I add and<br />

the squares I see and moving chevrons that pop up in unexpected ways. It’s all a little<br />

crazy when I can change what I see and do this freely. It’s hard to know what to say<br />

that isn’t misleading or wrong. And really, that’s the whole story. I can use rules to<br />

change shapes without being consistent about what I see. This doesn’t sound like calculating,<br />

but it is. And it’s what you need to design, so that you can change your mind<br />

about what you see and do as you go on. What it shows is that statement 4 isn’t that<br />

far-fetched—<br />

design is calculating when you don’t know what you’re going to see and do next<br />

What a shape is depends on what rules are used, and when and how. This can vary for<br />

different rules, and, in actual fact, it changes every time any rule is tried. Yet there are<br />

some other things to consider that open up calculating even more.<br />

As an example of what I want to see and do, the rule A fi B may be too narrow.<br />

This was the problem in part II for squares and quadrilaterals. But there was a straightforward<br />

solution I could try. Instead of drawing rules or pointing to specific shapes, I<br />

could use schemas. This made calculating easier in some nice ways without compromising<br />

the embedding relation.<br />

The new setup is pretty much the same as the one I have for rules, with the addition<br />

of variables, assignments, and predicates. There’s a shape<br />

C<br />

and now a schema<br />

x fi y<br />

where x and y are variables that take shapes as values. These are given in an assignment<br />

g that may be restricted in some way by a predicate. The assignment defines the<br />

rule

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!