Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

Vax Vobiscum

computers / / Re: Next move [ truth itself is broken ]

o Re: Next move [ truth itself is broken ]olcott

Subject: Re: Next move [ truth itself is broken ]
From: olcott
Newsgroups: comp.theory,, sci.logic
Followup: comp.theory
Date: Mon, 9 May 2022 03:20 UTC
References: 1 2 3 4
NNTP-Posting-Date: Sun, 08 May 2022 22:20:49 -0500
Date: Sun, 8 May 2022 22:20:47 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Subject: Re: Next move [ truth itself is broken ]
Content-Language: en-US
Newsgroups: comp.theory,,sci.logic
References: <20220507233807.0000226c@reddwarf.jmc>
<> <t59u8v$du7$>
From: (olcott)
Followup-To: comp.theory
In-Reply-To: <t59u8v$du7$>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <>
Lines: 56
X-Trace: sv3-YdLnFVylwnbKIlOB8+b7Jab/mjdpOU2kMJQ95l7dC8i9JAMP7y565XIM+kRyr+btvDXwBFTZscM/ifD!FOngYzJMFwrCvSVJaUhEsqpQIIGzZaxPQmDBt79oovjtby9NRvuqVx8P3aCh2DZPWwrSnbsxKcA=
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 3331
View all headers
On 5/8/2022 9:28 PM, Python wrote:
Peter Olcott wrote:
On 5/8/2022 6:03 PM, Mr Flibble wrote:
On Sat, 7 May 2022 23:38:07 +0100
Mr Flibble <flibble@reddwarf.jmc> wrote:

What's the next move? We have established [Turing, 1936] as elaborated
by [Strachey, 1965] is a nonsense so we now need a general algorithm
to establish if a program and its inputs halt.

First up: functional requirements.

Seriously embarrassing. Mr Flibble is very cross. :D


When the correct simulation of the input to H(P,P) specifies infinite recursion then P never reaches the contradictory part and H can correctly recognize this infinite behavior pattern and reject this input.

The first three pages of this paper examine this concretely as actually executed in the x86utm operating system:

Peter, you should consider seriously what's just happened with Mr

This is a very unusual, hence deserving to be pointed out, situation :
someone  (Mr Flibble) wrong on Usenet (or Internet for that matters...)
admitted after only a few weeks of posting nonsense that he was actually

After all these years of crankery, could you exhibit the the same

My biggest mistake that cost me credibility was that I was not
using the conventional terms of the art in their conventional way.

Now I am using subtle nuances the conventional terms of the art that are too subtle for anyone besides one computer science professor that I have spoken with.

I have never been wrong in the essence of what I have been saying.

The reason that I keep going on Gödel(1931), Tarski(1936), Turing(1936) is because if these things are correct then truth itself is broken.

Copyright 2022 Pete Olcott

"Talent hits a target no one else can hit;
  Genius hits a target no one else can see."
  Arthur Schopenhauer

rocksolid light 0.7.2