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

On 12 Dec, 18:36, Jan Burse <janbu...@xxxxxxxxxxx> wrote:
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.

OK. Overall, I finally see my confusion between sequences and order
types. This exchange was very instructive for me, thank you very much
for taking the time.

-LV
.

Relevant Pages