Liste des Groupes | Revenir à theory |
On 5/14/2025 12:41 PM, Richard Heathfield wrote:In other words, you once again admit that you're not working on the halting problem, as the halting problem is about turing machines / programs / algorithms.On 14/05/2025 18:22, olcott wrote:I have never been talking about that at any timeWhen you try to encode *AN INPUT* that actually>
does the opposite of whatever value that
its termination analyzer returns in a fully
specified language such as C you will find
this is impossible.
When you try to encode *A PROGRAM* that actually computes for arbitrary program P
in the last five years. PAY ATTENTION !!!
Les messages affichés proviennent d'usenet.