Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Mike Terry <news.dead.person.stones@darjeeling.plus.com> |
|---|---|
| Newsgroups | sci.logic, sci.math, comp.theory |
| Subject | Re: ALL undecidability is unmasked |
| Date | 2026-07-18 20:07 +0100 |
| Organization | A noiseless patient Spider |
| Message-ID | <113gith$3poot$1@dont-email.me> (permalink) |
| References | (2 earlier) <1135uij$jkp7$1@dont-email.me> <1137irk$129ir$2@dont-email.me> <113872s$18m8m$1@dont-email.me> <113a6kv$294sm$1@dont-email.me> <113fivv$2vrdh$2@dont-email.me> |
Cross-posted to 3 groups.
On 18/07/2026 11:02, Fred. Zwarts wrote: > Op 16.jul.2026 om 11:01 schreef Fred. Zwarts: >> Op 15.jul.2026 om 16:56 schreef olcott: >>> On 7/15/2026 4:11 AM, Fred. Zwarts wrote: >>>> Op 14.jul.2026 om 20:18 schreef olcott: >>>>> On 7/14/2026 2:11 AM, Mikko wrote: >>>>>> On 13/07/2026 18:46, olcott wrote: >>>>>>> All undecidability is unmasked as semantic >>>>>>> incoherence or outside of the body of knowledge. >>>>>> >>>>>> The sentence "Olcott's system is correct" would >>>>> >>>>> be rejected as pathological. >>>> Olcott has confirmed that he thinks that A is true. >>>> Now he says that Olcott's system will reject this finite string A, because of a self-reference. >>>> According to the system, A has no truth value. >>>> So, Olcott and his system disagree about the truth value of A. >>>> >>>> Olcott claims that his system will convince everybody about the truth. >>>> >>> >>> You must bother to understand what properties that >>> a system having only basic facts would have. How >>> many actual facts are not true? >>> >>>> We now see ourselves confronted with the ultimate test of the strength of Olcott's system: >>>> Is the system strong enough to make Olcott change his opinion about A? Will he accept that we >>>> cannot prove that A is true? >>>> >>>> If no. >>>> If even Olcott himself does not accept the output of his own system, why would we believe that >>>> anybody else will accept it? >>>> >>>> If yes. >>>> If Olcott accepts that we cannot say that A is true, i.e. that his system is correct, why would >>>> anyone change his opinion because of the output of a system of which the correctness cannot be >>>> proven? >> >> We see that Olcott disagrees with the results of his system, but he does not want to choose >> whether he thinks it proves him wrong. >> This unmasks Olcott's ideas as incoherent and useless. > > Olcott did not react. Probably, he does not know of a counter-argument. We may agree that this is > the final conclusion about his ideas. Um, ok - we all agree you've defeated him!! Well done. :) PO has not posted for a few days, but we can be fairly confident that it's /not/ because he finally recognises he has been proved wrong on anything he's claiming. It will be down to something going on in his life, e.g. the need for medical treatment (worse case: his death), house needing attention (maybe it has burned down in wildfires?), being arrested or imprisoned for something, etc.. PO has had /many/ previous absences much longer than 3 days before resuming posting, so I wouldn't celebrate any victory prematurely! Mike.
Back to sci.math | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-13 10:46 -0500
Re: ALL undecidability is unmasked Mikko <mikko.levanto@iki.fi> - 2026-07-14 10:11 +0300
Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-14 13:18 -0500
Re: ALL undecidability is unmasked "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2026-07-15 11:11 +0200
Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-15 09:56 -0500
Re: ALL undecidability is unmasked "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2026-07-16 11:01 +0200
Re: ALL undecidability is unmasked "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2026-07-18 12:02 +0200
Re: ALL undecidability is unmasked Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2026-07-18 20:07 +0100
Re: ALL undecidability is unmasked Mikko <mikko.levanto@iki.fi> - 2026-07-14 12:12 +0300
Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-14 14:41 -0500
Re: ALL undecidability is unmasked André G. Isaak <agisaak@gm.invalid> - 2026-07-14 13:48 -0600
Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-14 15:01 -0500
Re: ALL undecidability is unmasked André G. Isaak <agisaak@gm.invalid> - 2026-07-14 14:30 -0600
Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-14 15:42 -0500
Re: ALL undecidability is unmasked André G. Isaak <agisaak@gm.invalid> - 2026-07-14 15:06 -0600
Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-14 16:14 -0500
Re: ALL undecidability is unmasked André G. Isaak <agisaak@gm.invalid> - 2026-07-14 15:34 -0600
Re: ALL undecidability is unmasked Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-18 13:48 +0100
Re: ALL undecidability is unmasked Alan Mackenzie <acm@muc.de> - 2026-07-14 19:57 +0000
Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-14 15:16 -0500
Re: ALL undecidability is unmasked dbush <dbush.mobile@gmail.com> - 2026-07-14 16:18 -0400
Re: ALL undecidability is unmasked Mikko <mikko.levanto@iki.fi> - 2026-07-15 10:35 +0300
Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-15 10:31 -0500
Re: ALL undecidability is unmasked Mikko <mikko.levanto@iki.fi> - 2026-07-16 12:16 +0300
Re: ALL undecidability is unmasked Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-18 14:17 +0100
Re: ALL undecidability is unmasked Mikko <mikko.levanto@iki.fi> - 2026-07-15 10:25 +0300
Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-15 10:14 -0500
Re: ALL undecidability is unmasked Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-15 20:18 +0100
Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-15 14:44 -0500
Re: ALL undecidability is unmasked Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-18 19:21 +0100
Re: ALL undecidability is unmasked Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-18 19:21 +0100
Re: ALL undecidability is unmasked Mikko <mikko.levanto@iki.fi> - 2026-07-16 09:11 +0300
Re: ALL undecidability is unmasked dbush <dbush.mobile@gmail.com> - 2026-07-15 15:24 -0400
Re: ALL undecidability is unmasked Mikko <mikko.levanto@iki.fi> - 2026-07-16 12:23 +0300
csiph-web