Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Newsgroups: sci.math
Subject: Re: Good Bye Stack-Overflow
Date: Thu, 14 Nov 2024 19:53:22 -0800
Organization: A noiseless patient Spider
Lines: 65
Message-ID: <vh6gjh$3830s$1@dont-email.me>
References: <vh6c2c$6mlv$5@solani.org> <vh6c3i$6mlv$6@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 15 Nov 2024 04:53:22 +0100 (CET)
Injection-Info: dont-email.me; posting-host="f78e91c2ef29d1e51cbaba76277412a0";
	logging-data="3410972"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/bCbY+XHaT1GLw8HPkto1e81gaxdccIVI="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ByAVLPMMjHRoxyHLSIIELGfBY7E=
In-Reply-To: <vh6c3i$6mlv$6@solani.org>
Content-Language: en-US
Bytes: 2974

On 11/14/2024 6:36 PM, Mild Shock wrote:
> But ChatGPT has still to learn a lot, it
> cannot make the link from Prolog to
> lambda-Prolog to natural deduction.
> 
> Somehow after some questioning ChatGPT
> presented me this Prolog code:
> 
> likes(john, pizza).
> likes(mary, sushi).
> likes(sam, burgers).
> 
> friend(john, mary).
> friend(mary, sam).
> 
> likes_what_friends_like(Person, Thing) :-
>      friend(Person, Friend),
>      likes(Friend, Thing).
> 
> I then asked for a Prolog query that
> solves the following question:
> 
> "who should john befriend so that we
> can assume he likes burgers"
> 
> Interestingly ChatGPT strated using
> Prolog and natural deduction on the meta
> level, mentioning modus ponense, and answering
> 
> Proof via Natural Deduction:
> Assumption: Assume friend(john, X) (where X = sam).
> 
> Apply the Rule: Since friend(john, sam) is true, and likes(sam, burgers) 
> is also true, we apply the rule likes_what_friends_like(john, Thing) and 
> infer likes_what_friends_like(john, burgers).
> 
> Conclusion: Therefore, likes_what_friends_like(john, burgers) holds, 
> which implies that John would like burgers if he befriends Sam.
> 
> Mild Shock schrieb:
>> Hi,
>>
>> The cest pool of bit rot is finally gone:
>>
>> (Bit rot, because they did everything in a
>> facist way ignoring your copyright to prevent
>> you from deleting you own out dated stuff)
>>
>> CoincidenceIDontThinkSo
>> https://9gag.com/gag/abAG4oE
>>
>> The Fall of Stack Overflow
>> https://observablehq.com/@ayhanfuat/the-fall-of-stack-overflow
>>
>> The downfall is related to the appearance of
>> ChatGPT. I feel pitty for Ulrich Neumerkel false
>> and others who spammed stackoverflow for years
>>
>> with their infinite dif/2 nonsense.
>>
>> Bye
> 

Try making some dynamic weights that can debug itself (dynamic code...) 
without any help from any creator, so to speak... ;^)