|
|
 | | From: | |-|erc | | Subject: | Define : X is_on_the_list L to Y many_digits | | Date: | Fri, 21 Jan 2005 15:46:27 +1000 |
|
|
 | X is_on_the_list L to Y many_digits
With so many hundred ways mathematics has evolved to address the match
between an element and individual members of a list, we need a way of
addressing relationships between single elements and entire lists. YES WE DO!
X is_on_the_list L to Y many_digits
<=>
L(a,b) is the bth digit of the ath sequence in list L
X(c) is the ath digit of X
Ay,0<=y
=====================================================
e.g.
X=<111111111..>
L=<
<12222222..>
<11222222..>
<11122222..>
>
X is on the list L to 3 digits!
eg. 2
A=<1111111..>
B=<
<00000000..>
<11111111..>
<22222222..>
>
A is on the list B to oo many digits!
We'll also use oo for countable infinity otherwise it becomes tedious to state
otherwise simple assertions.
Herc
--
As our PM for 10 years Mr Howard
What long term goals have you realised?
|
|
|
