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

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.