Sujet : Re: Suggested method for returning a string from a C program?
De : 643-408-1753 (at) *nospam* kylheku.com (Kaz Kylheku)
Groupes : comp.lang.cDate : 20. Mar 2025, 17:14:54
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <20250320091227.39@kylheku.com>
References : 1 2 3 4 5 6
User-Agent : slrn/pre1.0.4-9 (Linux)
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.
-- TXR Programming Language: http://nongnu.org/txrCygnal: Cygwin Native Application Library: http://kylheku.com/cygnalMastodon: @Kazinator@mstdn.ca