On pourrait donc penser que les deux thèses sont équivalentes mais ce n’est pas le cas.
À priori, si le problème est décidable, alors une seule des deux est vraie. Donc donner une preuve à l'une revient à réfuter l'autre.
C’est bien celui qui affirme l’existence de quelque chose à qu’il revient d’en apporter la preuve. Non ?
Pas forcément, si j'affirme qu'il n'existe pas quelque chose, ça sera à moi de prouver la non existence, et pas à mon opposant de prouver que ça existe ... C'est plutôt une question d'ordre en fait. De fait, certaines preuves mathématiques prouvent la non existence d'objets ...
[^] # Re: Dieu n'existe pas
Posté par Aluminium95 . En réponse au journal Paris sous les balles. Évalué à 0.
À priori, si le problème est décidable, alors une seule des deux est vraie. Donc donner une preuve à l'une revient à réfuter l'autre.
Pas forcément, si j'affirme qu'il n'existe pas quelque chose, ça sera à moi de prouver la non existence, et pas à mon opposant de prouver que ça existe ... C'est plutôt une question d'ordre en fait. De fait, certaines preuves mathématiques prouvent la non existence d'objets ...