novaBBS - comp.theory - Halting Problem (AI reprise)

Halting Problem (AI reprise)

<1736435d69629ef1$3$40283$faa1aca7@news.newsdemon.com>

https://www.novabbs.com/devel/article-flat.php?id=42695&group=comp.theory#42695

From: flib...@reddwarf.jmc.corp (Mr Flibble)
Subject: Halting Problem (AI reprise)
Newsgroups: comp.theory
User-Agent: Pan/0.146 (Hic habitat felicitas; d7a48b4 gitlab.gnome.org/GNOME/pan.git)
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Lines: 17
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!feeder.usenetexpress.com!tr2.iad1.usenetexpress.com!news.newsdemon.com!not-for-mail
Date: Sun, 01 Jan 2023 18:39:40 +0000
Nntp-Posting-Date: Sun, 01 Jan 2023 18:39:40 +0000
Organization: NewsDemon - www.newsdemon.com
X-Complaints-To: abuse@newsdemon.com
Message-Id: <1736435d69629ef1$3$40283$faa1aca7@news.newsdemon.com>
X-Received-Bytes: 1191

by: Mr Flibble - Sun, 1 Jan 2023 18:39 UTC

Flibble> Does the following C program halt?

ChatGPT> I'm sorry, but you have not provided a C program for me to
analyze. Please provide a C program and I will do my best to determine
whether it will halt or not.

Flibble>

void f()
{ f();
}

ChatGPT> This C program contains an infinite recursion, which means that
it will not halt. When the function f is called, it will continue to call
itself indefinitely, resulting in an infinite loop. This will cause the
program to run indefinitely and not halt.

Is knowledge knowable? If not, how do we know that?

devel / comp.theory / Halting Problem (AI reprise)

Subject	Author
Halting Problem (AI reprise)	Mr Flibble