Re: The actual truth is that ...

On 10/13/24 8:01 AM, olcott wrote:

On 10/13/2024 3:16 AM, Mikko wrote:

On 2024-10-12 22:52:30 +0000, olcott said:
>

On 10/12/2024 5:12 PM, joes wrote:

Am Sat, 12 Oct 2024 14:03:01 -0500 schrieb olcott:

On 10/12/2024 9:43 AM, Richard Damon wrote:

On 10/12/24 6:17 AM, olcott wrote:

On 10/12/2024 3:13 AM, Mikko wrote:

On 2024-10-11 21:13:18 +0000, joes said:

Am Fri, 11 Oct 2024 12:22:50 -0500 schrieb olcott:

On 10/11/2024 12:11 PM, Richard Damon wrote:

On 10/11/24 11:06 AM, olcott wrote:

On 10/11/2024 9:54 AM, Richard Damon wrote:

On 10/11/24 10:26 AM, olcott wrote:

On 10/11/2024 8:05 AM, Richard Damon wrote:

On 10/11/24 8:19 AM, olcott wrote:

On 10/11/2024 6:04 AM, Richard Damon wrote:

On 10/10/24 9:57 PM, olcott wrote:

On 10/10/2024 8:39 PM, Richard Damon wrote:

On 10/10/24 6:19 PM, olcott wrote:

On 10/10/2024 2:26 PM, wij wrote:

On Thu, 2024-10-10 at 17:05 +0000, Alan Mackenzie wrote:

Mikko <mikko.levanto@iki.fi> wrote:

>

When HHH is an x86 emulation based termination analyzer then each DDD
emulated by any HHH that it calls never returns.

Nope, Even software Engineering treats the funciton HHH as part of the
program DDD, and termination analysis as looking at properties of the
whole program, not a partial emulation of it.

So if we ask the exact question can DDD emulated by any HHH reach its
own return statement they would answer the counter-factual yes?

Yes. DDD reaches it, so a purported simulator should as well.
Therefore HHH is not a simulator.
>

>
I tried to tell ChatGPT the same thing several times
and it would not accept this.
https://chatgpt.com/share/6709e046-4794-8011-98b7-27066fb49f3e
>
Although LLM system are prone to lying: If it told a lie
there would be an error that could be found in its reasoning.

>
Not necessarily in the reasoning. The error could also be in the input
material.
>

 Some cases may be too complex to verify. When all of its
premises are true and it only applies truth preserving
operations to these premises then its conclusion is
necessarily correct.
 https://chatgpt.com/share/6709e046-4794-8011-98b7-27066fb49f3e
 When you click on the link and try to explain how HHH must
be wrong when it reports that DDD does not terminate because
DDD does terminate it will explain your mistake to you.
 

Which I DID as you seem to ignore, and it tries to argue that while DDD does in reality Halt, we need to theoretically let HHH give the wrong answer becuase we require it to give an answer.
In other words, you taught the AI the LYING (the giving of an answer that is KNOW to be at least possibly incorrect) is ok,
That is NOT a correct statement in logic.
Your logic is built on the FALSE premise that the job must be able to be done, and thus you invent the LIE that it is ok to LIE if you nee to.
This just shows that you beleive that lying is ok, when it isn't.