Liste des Groupes | Revenir à theory |
On 5/28/2025 7:00 PM, Ben Bacarisse wrote:The ability compute values of one function is far from being all knowing.Richard Heathfield <rjh@cpax.org.uk> writes:It took a very long time for me to understand
On 28/05/2025 18:33, olcott wrote:But once upon a time he was. For example, in this exchange:I am not solving the halting problem.Clearly.
Me: Recent posts have said that you really do claim to have a halting
decider. Have you extended your claim or was that a
misunderstanding?
PO: I really do have a halting decider.
that a decider(CS) is not the common meaning of
anything that decides. A decider(CS) must be all
knowing.
Les messages affichés proviennent d'usenet.