• Re: Olcott correctly points out misconceptions in the HP proofs --- Can

    From Richard Heathfield@21:1/5 to olcott on Thu Aug 21 05:34:13 2025
    On 21/08/2025 04:14, olcott wrote:
    On 8/20/2025 9:53 PM, dbush wrote:
    On 8/20/2025 10:47 PM, olcott wrote:

    <snip - do you really need to quote almost 200 lines to add one
    sentence? Don't they have a word for "considerate" where you come
    from?>

    Every mere representation of a thing leaves out
    most of the details.

    False.  By definition, the representation contains all
    necessary details about the object being represented.

    Turing machine descriptions by

    What exactly is it about the word "human"
    that tells you the details of brain surgery methods?

    "human" describes a creature bright enough to look things up when
    more detailed representations are required.

    "Turing machine descriptions", though, really do tell a UTM
    everything they need to know about specific Turing machines.

    And when you compile Halt7.c into an executable image, that
    representation tells you everything you need to know about the DD
    function, so you have no excuse not to be able to analyse it in
    its entirety.

    --
    Richard Heathfield
    Email: rjh at cpax dot org dot uk
    "Usenet is a strange place" - dmr 29 July 1999
    Sig line 4 vacant - apply within

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)