Liste des Groupes | Revenir à c theory |
On 5/21/25 11:54 AM, olcott wrote:<snip>
I think that's what he means by 'self-contradictory'. He just doesn't grasp proof by contradiction.A self-contradictory input and a proof by contradictionThe input is NOT "self-contradictory".
are not the same thing. A proof by contradiction would
conclude that "this sentence is not true" is true because
it cannot be proved false.
The proof by contradiction is based on, If an H existed that got the right answer, the answer it gives would be wrong.
Les messages affichés proviennent d'usenet.