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: comp.lang.c++,comp.ai.philosophy,comp.lang.prolog,comp.lang.lisp
Subject: Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ]
Date: Tue, 17 Sep 2019 11:10:01 -0700
Organization: None to speak of
Lines: 27
Message-ID: <lnh85a94li.fsf@kst-u.example.com>
References: <YdmdnSGX1cpdxdHAnZ2dnUU7-WXNnZ2d@giganews.com> <T9mdnX__WZbR9OvAnZ2dhUU7-R_NnZ2d@giganews.com> <ql7hnn$52u$1@dont-email.me> <pMqdnQFBSMfCXurAnZ2dnUU7-d3NnZ2d@giganews.com> <qlefjm$300c$1@adenine.netfront.net> <oNudndY5IKcOR-fAnZ2dnUU7-T_NnZ2d@giganews.com> <qlfj5b$pbl$1@adenine.netfront.net> <zf2dnakes7ajNObAnZ2dnUU7-W_NnZ2d@giganews.com> <qlkrir$1iva$1@adenine.netfront.net> <cpudnYw2punWPOLAnZ2dnUU7-KXNnZ2d@giganews.com> <qlq440$3ar$1@adenine.netfront.net> <O9udnZdFPogAkBzAnZ2dnUU7-c3NnZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: reader02.eternal-september.org; posting-host="8286bf823aa591a4447bcf77f162785a"; logging-data="25994"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+B8B45FLs6AHTPXVGgdNet"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
Cancel-Lock: sha1:tK1pt/yKB/StT/f0AUvLvi5dQ2k= sha1:xM+OFjI6f3Vk0On8RbjcabK9DLs=
Xref: csiph.com comp.lang.c++:68478 comp.ai.philosophy:19254 comp.lang.prolog:9681 comp.lang.lisp:33334

peteolcott <Here@Home> writes:
> On 9/17/2019 3:05 AM, Juha Nieminen wrote:
>> In comp.lang.c++ peteolcott <Here@home> wrote:
>>> The length of this interval is exactly 3.0
>>> (0.0, 3.0]
>>> The smallest real number larger than 0.0 is its first point.
>>
>> You can repeat that as many times as you want, but that will not make
>> such a number to exist.
>>
>> There is no "smallest real number larger than 0".
[...]

Agreed.

> Keith Thompson proves that he fully understands the Infinitesimal
> number system:

I do not fully understand infinitesimals, and I have not claimed
that I 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 */