Re: Cantor's "diagonal argument". My Objection.



LudovicoVan schrieb:
I understand, and fantastic! I have been for months after a proper
definition of the second one. But you didn't really answer my
question: how is this 'mirror' (map?) defined? All sequences I know of
are written left to right, so that I can only suppose some meta-
predicate, that is, I have actually no idea. I need a formal
definition of this 'mirror' thing.

mirror(J)(x,y) :<=> J(y,x).

Or more prose:
x is before y in the mirror of the ordering J, when
y is before x in the ordering J.

Bye
.



Relevant Pages

  • Re: Marauders Map in GOF & OOTP
    ... If we never learned in the books who made the map we would ... It tells Harry where the secret passages ... the Mirror of Erised ... cracked mirrors in Myrtle's toilet and also in the boy's toilet ...
    (alt.fan.harry-potter)
  • Re: Cantors "diagonal argument". My Objection.
    ... how is this 'mirror' (map?) defined? ... definition of this 'mirror' thing. ... I finally see my confusion between sequences and order ...
    (sci.logic)
  • Re: Photos from the Newcastle weekend
    ... Who is that man next to bram in photo 29? ... - certainly not the fellow ... I see in my mirror. ... You'll see Ali's name centre bottom of the map. ...
    (uk.people.silversurfers)
  • Booch Components 20031123
    ... Please note that the mirror at http://www.adapower.net/booch/ is out ... Added BC.Support.Statistics, which supports collecting running mean, ... variance, minimum and maximum of sequences of values. ...
    (comp.lang.ada)