Sujet : HHH(DDD) is correct to reject its input as non-halting --- EVIDENCE THAT I AM CORRECT
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic comp.ai.philosophyDate : 15. Jun 2025, 21:10:32
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <102n9bo$13mp8$3@dont-email.me>
User-Agent : Mozilla Thunderbird