Re: Suggested method for returning a string from a C program?

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.