Liste des Groupes | Revenir à c theory |
On 5/18/2025 11:57 PM, Richard Heathfield wrote:And says nothing about what every C programmer does or doesn't know.On 19/05/2025 05:25, olcott wrote:Mike Terry's recent postOn 5/18/2025 11:12 PM, Richard Heathfield wrote:I'm not dodging your point. I'm simply not interested in debating your point when it is already being so expertly debated by Mike Terry andOn 19/05/2025 04:49, olcott wrote:That you tried to get away with dodging my point
...a load of nonsense that didn't address my reply at all. I won't rebut it point by point because I have already dealt with all of his remarks, some of them several times over.
< SNIP! >
I'm beginning to wonder whether he ever learned to read for comprehension.
On 5/14/2025 7:36 PM, Mike Terry wrote:
https://al.howardknight.net/?STYPE=msgid&MSGI=%3C1003cu5%242p3g1%241%40dont-email.me%3E was succinct and correct and explained
all of the details of how a simulating halt decider could be
derived from these words:
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
If simulating halt decider H correctly simulates its
input D until H correctly determines that its simulated D
would never stop running unless aborted then
H can abort its simulation of D and correctly report that D
specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
Les messages affichés proviennent d'usenet.