1. Forum
  2. Usenet
  3. COMP.THEORY

  • Re: Claude AI sums up my work in one page --- True(L,x) predicate

    From Richard Heathfield@21:1/5 to olcott on Mon Aug 11 19:57:15 2025
    On 11/08/2025 19:36, olcott wrote:

    <snip>

    "Undecidable" is a misnomer for invalid input.

    Then you and Turing agree after all. All we have to do is
    translate Turing's English into Olcott-speak:

    "Invalid inputs exist."

    And translating this back into English: "Incomputable functions
    exist."

    22 years on a terminology dispute, hey? Who'd have thunk it?

    --
    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)
  • From Richard Heathfield@21:1/5 to olcott on Mon Aug 11 20:23:31 2025
    On 11/08/2025 20:05, olcott wrote:
    When the term "computable" is defined incoherently.

    You have the gall to describe other people as incoherent?

    Best laugh all day. (It's been a slow day.)

    --
    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)