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.math,comp.ai.philosophy,sci.logic,comp.theory
Subject: Re: Provably unprovable eliminates incompleteness [ Keith and Mike basis for Infinitesimal numbers ]
Date: Tue, 17 Sep 2019 13:28:19 -0700
Organization: None to speak of
Lines: 13
Message-ID: <lnzhj27jmk.fsf@kst-u.example.com>
References: <YdmdnSGX1cpdxdHAnZ2dnUU7-WXNnZ2d@giganews.com> <qlkrir$1iva$1@adenine.netfront.net> <cpudnYw2punWPOLAnZ2dnUU7-KXNnZ2d@giganews.com> <gwOfF.26663$5O5.23471@fx06.fr7> <rKOdne8VuaWmKuLAnZ2dnUU7-c2dnZ2d@giganews.com> <aMOfF.21407$6w4.4489@fx25.fr7> <qaSdncX8uaD2XOLAnZ2dnUU7-TnNnZ2d@giganews.com> <rqPfF.31295$sA1.27909@fx28.fr7> <E7KdnWEIOuSUS-LAnZ2dnUU7-UPNnZ2d@giganews.com> <P_QfF.126886$3s7.5819@fx01.fr7> <4qqdnS6fIrqbeuLAnZ2dnUU7-cnNnZ2d@giganews.com> <qlq4f5$55s$1@adenine.netfront.net> <O9udnZZFPoiikxzAnZ2dnUU7-c1QAAAA@giganews.com> <qlrb3p$ipv$1@dont-email.me> <FZ6dnW9KU5F1qRzAnZ2dnUU7-budnZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: reader02.eternal-september.org; posting-host="8286bf823aa591a4447bcf77f162785a"; logging-data="12771"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18bMlOC4LRSKOZAyTATmoFP"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
Cancel-Lock: sha1:Zo4f7VelTix2VXfFTKdXV5rCqQA= sha1:3wHWq+YIfjf8BaQbDeFGbXN7WAo=
Xref: csiph.com sci.math:458603 comp.ai.philosophy:19271 sci.logic:210951 comp.theory:19957

peteolcott <Here@Home> writes:
[...]
> This is not Keith and Mike's ideas it is their agreement with my ideas:
> These are the two key essences of agreement with Infinitesimal Numbers:

Pete's claim that I agree with him is unfounded.  If I don't respond
to similar claims in the future, it's only because I don't want to
waste time and bandwidth.

-- 
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 */