Path: ...!3.eu.feeder.erje.net!feeder.erje.net!news2.arglkargh.de!news.karotte.org!news.space.net!news.muc.de!.POSTED.news.muc.de!not-for-mail
From: Alan Mackenzie <acm@muc.de>
Newsgroups: comp.theory
Subject: Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct
Date: Sun, 10 Nov 2024 22:19:14 -0000 (UTC)
Organization: muc.de e.V.
Message-ID: <vgrbh2$dfn$3@news.muc.de>
References: <vfli1h$fj8s$1@dont-email.me>   <vgodcf$kll$1@news.muc.de> <vgoed9$3ucjr$1@dont-email.me> <vgoi51$kll$2@news.muc.de> <vgojp1$3v611$1@dont-email.me> <vgol50$kll$3@news.muc.de> <vgom8r$3vue8$1@dont-email.me> <vgonlv$kll$4@news.muc.de> <vgoqv6$qht$2@dont-email.me> <vgq0dv$1trm$1@news.muc.de> <vgqifj$e0q0$2@dont-email.me> <vgqnfl$2ca0$1@news.muc.de> <vgqt2v$gdj5$2@dont-email.me> <vgr04c$dfn$1@news.muc.de> <vgr3vt$hf6i$2@dont-email.me> <vgr5fv$dfn$2@news.muc.de> <vgra1q$ikr6$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Injection-Date: Sun, 10 Nov 2024 22:19:14 -0000 (UTC)
Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2";
	logging-data="13815"; mail-complaints-to="news-admin@muc.de"
User-Agent: tin/2.6.3-20231224 ("Banff") (FreeBSD/14.1-RELEASE-p5 (amd64))
Bytes: 3423
Lines: 64

olcott <polcott333@gmail.com> wrote:
> On 11/10/2024 2:36 PM, Alan Mackenzie wrote:
>> olcott <polcott333@gmail.com> wrote:
>>> On 11/10/2024 1:04 PM, Alan Mackenzie wrote:

>> [ .... ]

>>>> I have addressed your point perfectly well.  G=C3=B6del's theorem is=
 correct,
>>>> therefore you are wrong.  What part of that don't you understand?

>>> YOU FAIL TO SHOW THE DETAILS OF HOW THIS DOES
>>> NOT GET RID OF INCOMPLETENESS.

>> The details are unimportant.  G=C3=B6del's theorem is correct.=20

> In other words you simply don't understand these
> things well enough ....

Not at all.  It's you that doesn't understand them well enough to make it
worthwhile trying to discuss things with you.

> .... to understand that when we change their basis the conclusion
> changes.

You're at too high a level of abstraction.  When your new basis has
counting numbers, it's either inconsistent, or G=C3=B6del's theorem appli=
es to
it.

> You are a learned-by-rote guy that accepts what you
> memorized as infallible gospel.

You're an uneducated boor.  So uneducated that you don't grasp that
learning by rote simply doesn't cut it at a university.

>> Your ideas contradict that theorem.=20=20

> When we start with a different foundation then incompleteness
> ceases to exist just like the different foundation of ZFC
> eliminates Russell's Paradox.

No.  You'd like it to, but it doesn't work that way.

[ .... ]

>> Therefore your ideas are incorrect.  Again, the precise details are
>> unimportant,=20

> So you have no clue how ZFC eliminated Russell's Paradox.
> The details are unimportant and you never heard of ZFC
> or Russell's Paradox anyway.

Russell's paradox is a different thing from G=C3=B6del's theorem.  The la=
tter
put to rest for ever the vainglorious falsehood that we could prove
everything that was true.

> --=20
> Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
> hits a target no one else can see." Arthur Schopenhauer

--=20
Alan Mackenzie (Nuremberg, Germany).