Liste des Groupes | Revenir à c theory |
On 5/23/2025 2:18 AM, Mikko wrote:Wrong, as explained in the other message.On 2025-05-22 15:37:31 +0000, olcott said:You must look at it 100-fold more closely than anyone else ever has.
>On 5/22/2025 1:52 AM, joes wrote:>Am Wed, 21 May 2025 18:14:42 -0500 schrieb olcott:>
>All of the proofs ASSUME that there is an input D that can ACTUALLY DONo, the proof assumes there is a *decider* and then shows exactly *how*
the opposite of whatever value that H returns making it impossible for H
to decide D.
to construct a counterexample.
Yet no one ever bothers to notice that
this counter-example input cannot possibly
actually do the opposite of whatever value
that its decider returns.
It really is hard to notice someting that is very obviously false.
>
int main()
{
DD(); // How does the HHH that DD calls report on the
} // behavior of its caller?
Les messages affichés proviennent d'usenet.