Re: Cantor's "diagonal argument". My Objection.
- From: Jan Burse <janburse@xxxxxxxxxxx>
- Date: Fri, 12 Dec 2008 18:36:42 +0100
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
.
- Follow-Ups:
- Re: Cantor's "diagonal argument". My Objection.
- From: LudovicoVan
- Re: Cantor's "diagonal argument". My Objection.
- References:
- Cantor's "diagonal argument". My Objection.
- From: John Jones
- Re: Cantor's "diagonal argument". My Objection.
- From: John Jones
- Re: Cantor's "diagonal argument". My Objection.
- From: Arturo Magidin
- Re: Cantor's "diagonal argument". My Objection.
- From: John Jones
- Re: Cantor's "diagonal argument". My Objection.
- From: Arturo Magidin
- Re: Cantor's "diagonal argument". My Objection.
- From: John Jones
- Re: Cantor's "diagonal argument". My Objection.
- From: Jan Burse
- Re: Cantor's "diagonal argument". My Objection.
- From: LudovicoVan
- Re: Cantor's "diagonal argument". My Objection.
- From: Jan Burse
- Re: Cantor's "diagonal argument". My Objection.
- From: LudovicoVan
- Re: Cantor's "diagonal argument". My Objection.
- From: Jan Burse
- Re: Cantor's "diagonal argument". My Objection.
- From: LudovicoVan
- Re: Cantor's "diagonal argument". My Objection.
- From: Jan Burse
- Re: Cantor's "diagonal argument". My Objection.
- From: LudovicoVan
- Cantor's "diagonal argument". My Objection.
- Prev by Date: Re: Cantor's "diagonal argument". My Objection.
- Next by Date: Re: Cantor's "diagonal argument". My Objection.
- Previous by thread: Re: Cantor's "diagonal argument". My Objection.
- Next by thread: Re: Cantor's "diagonal argument". My Objection.
- Index(es):
Relevant Pages
|