29.11.2014 Views

A Calculus of Number Based on Spatial Forms - University of ...

A Calculus of Number Based on Spatial Forms - University of ...

A Calculus of Number Based on Spatial Forms - University of ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

41<br />

For example, a half-cardinality is given by ([a]): Collecti<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> two <str<strong>on</strong>g>of</str<strong>on</strong>g> these<br />

reduces to a:<br />

([a])([a]) Given<br />

([([a])][]) Cardinality<br />

([a][]) Involuti<strong>on</strong><br />

([a])<br />

Inversi<strong>on</strong><br />

a<br />

Involuti<strong>on</strong><br />

Applied to additi<strong>on</strong> combinati<strong>on</strong>s, fracti<strong>on</strong>al cardinality builds fracti<strong>on</strong>s. The<br />

form ([a]) translates to a=2. In the above pro<str<strong>on</strong>g>of</str<strong>on</strong>g> this fracti<strong>on</strong> is doubled, as<br />

a=2+a=2 =2(a=2) = a(2=2) = a:<br />

Applied to multiplicative combinati<strong>on</strong>s, fracti<strong>on</strong>al cardinalities build roots. The<br />

form (([[b]])) translates to b 1=2 . In a pro<str<strong>on</strong>g>of</str<strong>on</strong>g> similar to the above but with<br />

a=[b], this root is squared to double the cardinality, as<br />

b 1=2 b 1=2 =(b 1=2 ) 2 =b 2=2 =b:<br />

Since fracti<strong>on</strong>al cardinalities form roots, they allow c<strong>on</strong>structi<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> the algebraic<br />

irrati<strong>on</strong>als.<br />

5.6 C<strong>on</strong>clusi<strong>on</strong>s<br />

Though the two-boundary calculus <strong>on</strong>ly represents natural numbers, simply adding an<br />

inverse boundary extends the boundary numbers through the algebraic irrati<strong>on</strong>als.<br />

The three axioms completely dene computati<strong>on</strong> <strong>on</strong> these numbers and functi<strong>on</strong>s.<br />

The three-boundary calculus is summarized in Table 5.1.<br />

The inverse boundary serves manyinverse functi<strong>on</strong>s due to the structures provided<br />

by the instance and abstract boundaries. It is dened in the most fundamental way<br />

that an inverse can be dened, utilizing the void to cancel inverses to nothing. The<br />

spatial formalism makes this inverse deniti<strong>on</strong> possible and powerful. Kauman<br />

dened an inverse boundary <str<strong>on</strong>g>of</str<strong>on</strong>g> this sort but did not have the other structures to<br />

utilize it in a general form.<br />

The inverse is powerful but it introduces problems, such as divisi<strong>on</strong> by zero.<br />

Though the two-boundary calculus was solid, the three-boundary calculus has a single<br />

excepti<strong>on</strong>, preventing rules from applying to all c<strong>on</strong>gurati<strong>on</strong>s. When performing

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

Saved successfully!

Ooh no, something went wrong!