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: Fri, 21 Mar 2025 09:09:02 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 23
Message-ID: <vrjabe$17qot$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> <vrhfpn$3k8ao$1@dont-email.me>
 <20250320094214.107@kylheku.com>
Injection-Date: Fri, 21 Mar 2025 10:09:03 +0100 (CET)
Injection-Info: dont-email.me; posting-host="77a795413c186b7fc1f659a764c4a72e";
	logging-data="1305373"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+UwRcGGjdFziLzHAcQmaKN"
Cancel-Lock: sha1:/IrntDD7uAYOrC4szIdSSr073WE=
Bytes: 2014

On Thu, 20 Mar 2025 16:49:10 -0000 (UTC)
Kaz Kylheku <643-408-1753@kylheku.com> wibbled:
>On 2025-03-20, Muttley@DastardlyHQ.org <Muttley@DastardlyHQ.org> wrote:
>> 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.
>
>If you run a program and it has NOT halted so far, you don't know
>whether or not it halts. If it doesn't halt, you will wait forever. To

True, but you said it cannot be proven. What you meant was it cannot *always*
be proven to halt.