Re: Every sufficiently competent C programmer knows --- Semantic Property of Finite String

On 15/03/2025 19:46, olcott wrote:
[I wrote, re the Goldbach Conjecture:]

     Perhaps [just about] worth noting that a sufficiently long
[but not "infinite"] brute force attack on the GC [and many other
similar conjectures] would resolve the issue.

Not if GC is true and the proof cannot algorithmically
compressed into a finite sequence of steps.

     You didn't read, or didn't understand, the rest of my article,
which explains that, indeed, only a finite number of steps is needed.
Read on before replying:

I always respond to the first mistake.
I did notice that you qualified this later on.

Perhaps you should have waited for the first mistake?  I didn't
"qualify" my statement, rather I explained why a perhaps-surprising [at
first glance] claim is in fact correct.  [I have no intention of having
a "'tis", "'tisn't" to-and-fro on this, so there is no need to reply,
and if you do, I shall ignore it.]
[... explanation snipped ...]
--
Andy Walker, Nottingham.
    Andy's music pages: www.cuboid.me.uk/andy/Music
    Composer of the day: www.cuboid.me.uk/andy/Music/Composers/Coleridge-Taylor