XPost: comp.theory, sci.logic
On 5/24/2022 4:13 AM, Malcolm McLean wrote:
On Tuesday, 24 May 2022 at 09:40:19 UTC+1, Alan Mackenzie wrote:
olcott <No...@nowhere.com> wrote:
On 5/23/2022 1:52 PM, Mr Flibble wrote:
A simple multiple choice question for Olcott:
All things being equal which is more likely:
(a) Olcott is correct and everybody else is incorrect
(b) Olcott is incorrect and everybody else is correct
Believability has the word [lie] embedded directly within itself.
Instead of the fake measure of credibility one must employ actual
validation.
You evaded the actual question. It is overwhelmingly more likely that
Olcott is incorrect.
It is, but it's a bad argument from Mr Flibble.
If someone thinks that the general consensus of informed opinion is
wrong, there will inevitably be a stage where theirs is the only voice
in favour of the revision.
However whilst the consensus of informed opinion can be wrong, it
can also be right. And generally corrections don't come romantically
from the outsider in his bedroom, but from highly qualified people
within the system.
All of the recent discussions are simply disagreement with an easily
verifiable fact. Any smart software engineer with a sufficient technical background can easily confirm that H(P,P)==0 is correct:
Where H is a C function that correctly emulates its input pair of finite strings of the x86 machine code of function P and criterion for
returning 0 is that the correctly simulated P would never reach its
"ret" instruction.
In this case all of my reviewers are simply disagreeing with an easily verifiable fact thus conclusively proving their lack of technical
competence.
But that doesn't mean that it's inevitable that the lone man, with few
formal qualifications, in his bedroom, is wrong. You neeed to look at
what he has to say, and take it on its own terms.
Yes the only honest voice of all of my reviewers.
--
Copyright 2022 Pete Olcott
"Talent hits a target no one else can hit;
Genius hits a target no one else can see."
Arthur Schopenhauer
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)