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 ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
42<br />
Table 5.1: The Three-Boundary <str<strong>on</strong>g>Calculus</str<strong>on</strong>g><br />
<str<strong>on</strong>g>Number</str<strong>on</strong>g>s<br />
0 !<br />
1 !<br />
2!<br />
,1!<br />
,2!<br />
1=2 ! ()<br />
2=3 ! ([])<br />
p<br />
3 ! (([[]]))<br />
3p<br />
2 ! (([[]]))<br />
Operators<br />
x ! x<br />
,x ! <br />
1=x ! ()<br />
x + y ! xy<br />
x , y ! x<br />
x y ! ([x][y])<br />
x=y ! ([x])<br />
x y ! (([[x]][y]))<br />
x ,y ! (([[x]][]))<br />
yp x ! (([[x]]))<br />
Rules<br />
([A]) = : A = : [(A)]<br />
(A[BC]) = : (A[B])(A[C])<br />
A =<br />
:<br />
a computati<strong>on</strong>, c<strong>on</strong>straints <strong>on</strong> variables must be propagated through to avoid paradoxes.