1. Forum
  2. USENET
  3. sci.logic

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

    From olcott@polcott333@gmail.com to comp.theory,sci.logic on Mon Aug 11 12:07:03 2025
    From Newsgroup: sci.logic

    On 8/11/2025 11:51 AM, wij wrote:
    On Mon, 2025-08-11 at 11:24 -0500, olcott wrote:
    On 8/11/2025 11:22 AM, wij wrote:

    You need to.-a "not true" is invented by you to answer a yes/no question. >>> you need to explain what "not true" means to a yes/no question.



    It means the same thing as Prolog.

    Does POOH relies on Prolog? Then, why you hide the fact and talk about C?

    You won't believe me so go look it up.

    Don't mistake. I believe you. The problem is I cannot use it to save human.

    When a system based on my idea is fully
    populated with every basic fact of the
    world then it is as complete as any formal
    system can possibly be and the pathological
    self-reference trick will not fool it.

    LP = "This sentence is not true"
    True(English, LP) == false.
    True(English, ~LP) == false.

    Prolog does this same thing with its https://www.swi-prolog.org/pldoc/man?predicate=unify_with_occurs_check/2

    ?- LP = not(true(LP)).
    LP = not(true(LP)).
    ?- unify_with_occurs_check(LP, not(true(LP))).
    false.

    True(English, "Trump lied about election fraud") == TRUE
    True(English, "Climate change is caused by humans") == TRUE
    True(English, "Climate change is severe and must be mitigated") == TRUE
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From wij@wyniijj5@gmail.com to sci.logic on Tue Aug 12 01:29:12 2025
    From Newsgroup: sci.logic

    On Mon, 2025-08-11 at 12:07 -0500, olcott wrote:
    On 8/11/2025 11:51 AM, wij wrote:
    On Mon, 2025-08-11 at 11:24 -0500, olcott wrote:
    On 8/11/2025 11:22 AM, wij wrote:

    You need to.-a "not true" is invented by you to answer a yes/no question.
    you need to explain what "not true" means to a yes/no question.



    It means the same thing as Prolog.

    Does POOH relies on Prolog? Then, why you hide the fact and talk about C?

    You won't believe me so go look it up.

    Don't mistake. I believe you. The problem is I cannot use it to save human.

    When a system based on my idea is fully
    populated with every basic fact of the
    world then it is as complete as any formal
    system can possibly be and the pathological
    self-reference trick will not fool it.

    LP = "This sentence is not true"
    True(English, LP) == false.
    True(English, ~LP) == false.

    Prolog does this same thing with its https://www.swi-prolog.org/pldoc/man?predicate=unify_with_occurs_check/2

    ?- LP = not(true(LP)).
    LP = not(true(LP)).
    ?- unify_with_occurs_check(LP, not(true(LP))).
    false.

    True(English, "Trump lied about election fraud") == TRUE
    True(English, "Climate change is caused by humans") == TRUE
    True(English, "Climate change is severe and must be mitigated") == TRUE
    Again you turn to Prolog to explain POOH which is in C !!!
    I am an expert in C but not Prolog.
    When I ask question about H5 (or POOH), you say I should go to refer Prolog predicate. I talk about Prolog, you would talk Tarski theorem or TM,...,etc. All looked to me is quite simple: H5(Q1) simply cannot decide to return 0 or 1.
    Is it true or false "H5(Q1) cannot decide to return 0 or 1".
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From WM@wolfgang.mueckenheim@tha.de to sci.logic on Tue Aug 12 14:30:13 2025
    From Newsgroup: sci.logic

    On 11.08.2025 19:07, olcott wrote:

    True(English, "Climate change is caused by humans") == TRUE

    The only problem is this: Too many humans are caused by humans.

    Regards, WM

    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic on Tue Aug 12 13:30:25 2025
    From Newsgroup: sci.logic

    On 8/12/2025 7:30 AM, WM wrote:
    On 11.08.2025 19:07, olcott wrote:

    True(English, "Climate change is caused by humans") == TRUE

    The only problem is this: Too many humans are caused by humans.

    Regards, WM


    Yes you are correct. drastic increases in CO2 levels
    is exactly correlated to drastic increases in the
    human population.
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Mikko@mikko.levanto@iki.fi to sci.logic on Wed Aug 13 11:39:36 2025
    From Newsgroup: sci.logic

    On 2025-08-12 12:30:13 +0000, WM said:

    On 11.08.2025 19:07, olcott wrote:

    True(English, "Climate change is caused by humans") == TRUE

    The only problem is this: Too many humans are caused by humans.

    No, that is not the problem. Earth is big enough for 10 000 000 000
    people and there will not be more. The problem is that Earth is not sufficiently well maintained.
    --
    Mikko

    --- Synchronet 3.21a-Linux NewsLink 1.2