Re: A Simple Non-Diagonalisable List

AnEcAd1d2[ new & cew & d1eD & d2eD & (d1=/=d2)
-> L[n,n]=d1
& L[c,c]=d2
& L[n,c]=d1
& L[c,n]=d2
] ]


to me that says, for all digits, L[n,n] = that digit.

e.g. L[2,2] = 0
and L[2,2] = 1
and L[2,2] = 2

that's why I had L[n,n]=d1 as a condition, not anything implied.


(An, Ec, Ad1, d2 e {0..9}, d1=/=d2, L[n,n]=d1, L[c,c]=d2)

L[n,c] = d1 and L[c,n] = d2


c=/=n seems optional too, since it would contradict d1=/=d2 if they
were equal, however the defn is symmetrical at the moment, so I will
add c>n anyway so there are 9 'rightwood' squares for each diag-digit.
I need this quality later when the 'blind shuffle' operation is
demonstrated.

Herc

.

Relevant Pages

  • Re: A Repeat for SCI.MATH
    ... oo digits side by side of every possible sequence? ... Herc ... Prev by Date: ...
    (sci.logic)
  • Re: A Repeat for SCI.MATH
    ... > how many threes are side by side? ... how many digits are side by side? ... Herc ... Prev by Date: ...
    (sci.logic)
  • Re: limitation to induction on finite bounds
    ... > PRD> true, we can validly conclude that statement Q is ... > HERC> infinite sets is unsound. ... > digits fail to be elements of S? ... the set is not missing "any sequence of digits" is out of context, ...
    (sci.math)
  • Re: limitation to induction on finite bounds
    ... > PRD> true, we can validly conclude that statement Q is ... > HERC> infinite sets is unsound. ... > digits fail to be elements of S? ... the set is not missing "any sequence of digits" is out of context, ...
    (sci.logic)
  • Re: HMDI Cable - Is there a difference in a $49 to a $250 cable
    ... > But carrying the digits to the point of analog conversion--as long as ... there's no need to spend more money on the cable. ... Prev by Date: ...
    (alt.tv.tech.hdtv)