Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Muttley@DastardlyHQ.org
Newsgroups: comp.lang.c
Subject: Re: Suggested method for returning a string from a C program?
Date: Thu, 20 Mar 2025 16:29:43 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 13
Message-ID: <vrhfpn$3k8ao$1@dont-email.me>
References: <vrd77d$3nvtf$2@dont-email.me> <vre5gt$jkpr$1@dont-email.me>
 <vrefb3$s307$1@dont-email.me> <vrel15$12jb7$1@dont-email.me>
 <86frj8pyme.fsf@linuxsc.com> <vrgocp$2vjto$1@dont-email.me>
 <20250320091227.39@kylheku.com>
Injection-Date: Thu, 20 Mar 2025 17:29:44 +0100 (CET)
Injection-Info: dont-email.me; posting-host="bf6e2baa5b47e6eff27d97030a12465c";
	logging-data="3809624"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19bhHKuc5yqXa1nEVeQVUHV"
Cancel-Lock: sha1:7E/Vf+6gUCrI/R6ZOVENFgMyWhk=
Bytes: 1510

On Thu, 20 Mar 2025 16:14:54 -0000 (UTC)
Kaz Kylheku <643-408-1753@kylheku.com> wibbled:
>On 2025-03-20, Muttley@DastardlyHQ.org <Muttley@DastardlyHQ.org> wrote:
>> I guess some maths problems can't be proven directly, they have to be - for 
>> want of a better word - run. A bit like the halting problem in CS.
>
>The halting problem is a perfect example of a problem which *cannot* be
>proven by running anything.

So if you run the program and it halts that doesn't prove that it will halt?
Umm, ok.