Path: csiph.com!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <kst-u@mib.org>
Newsgroups: sci.logic,sci.math,comp.theory,comp.ai.philosophy
Subject: Re: Cantor was wrong about cardinality --- Reals are defined inconsistently
Date: Mon, 16 Sep 2019 19:21:17 -0700
Organization: None to speak of
Lines: 18
Message-ID: <ln1rwfaciq.fsf@kst-u.example.com>
References: <YdmdnSGX1cpdxdHAnZ2dnUU7-WXNnZ2d@giganews.com> <c4OdneqApdJuP-DAnZ2dnUU7-YfNnZ2d@giganews.com> <87sgoydzm9.fsf@bsb.me.uk> <T6idnb9L9ZxeL-DAnZ2dnUU7-XHNnZ2d@giganews.com> <87blvlequ8.fsf@bsb.me.uk> <4bmdnZCR0LAZOuLAnZ2dnUU7-RfNnZ2d@giganews.com> <qlo9jg$i6d$1@dont-email.me> <P9Kdnd8KC4x1NuLAnZ2dnUU7-XfNnZ2d@giganews.com> <qlobtm$1cu$1@dont-email.me> <rKOdnewVuaVfK-LAnZ2dnUU7-c3NnZ2d@giganews.com> <qlodqr$d7p$1@dont-email.me> <IYGdnYbXjMz_IuLAnZ2dnUU7-WfNnZ2d@giganews.com> <qlofm9$p6c$1@dont-email.me> <tc-dnWrsh6KDSeLAnZ2dnUU7-IXNnZ2d@giganews.com> <qlokkc$q56$1@dont-email.me> <bPWdnWj5i-O9feLAnZ2dnUU7-T_NnZ2d@giganews.com> <qloo6o$i4c$1@dont-email.me> <4qqdnSmfIroweuLAnZ2dnUU7-cmdnZ2d@giganews.com> <qlor3m$59j$1@dont-email.me> <ln5zlramg3.fsf@kst-u.example.com> <0IidnQ4NqsdLqh3AnZ2dnUU78dfNnZ2d@brightview.co.uk>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: reader02.eternal-september.org; posting-host="8286bf823aa591a4447bcf77f162785a"; logging-data="11523"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18TVmW069c4dt9SlNlXjkn8"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
Cancel-Lock: sha1:uQtjuQzZ+Eh7vXT3QGpXlmfzVjQ= sha1:jkC9sY75Twee0JoPxDMsma7/SVU=
Xref: csiph.com sci.logic:210868 sci.math:458504 comp.theory:19932 comp.ai.philosophy:19233

Mike Terry <news.dead.person.stones@darjeeling.plus.com> writes:
> On 16/09/2019 23:46, Keith Thompson wrote:
[...]
>> Of course this doesn't imply that there's a "first element" of (A,B].
>> There clearly isn't.  (Pete has correctly recognized a contradiction,
>> but has grabbed onto the wrong end of it.)
>
> So what is the contradiction you believe PO has recognised?

I don't believe there's any point in going into it.  If you really
want to know what I was referring to, ask again and I'll answer
(though I'd have to look back through his posts, not something I'm
eager to do).

-- 
Keith Thompson (The_Other_Keith) kst-u@mib.org  <http://www.ghoti.net/~kst>
Will write code for food.
void Void(void) { Void(); } /* The recursive call of the void */