• AgoraVox sur Twitter
  • RSS
  • Agoravox TV
  • Agoravox Mobile


En réponse à :

nico 30 décembre 2005 13:11

Les classes P et NP et la conjecture selon laquelle P est différent de NP n’est pas pertinent dans le contexte de l’article. Vous le dites vous-même, ce sont les algorithmes qui nous intéressent, quelque soit leur complexité : il nous importe déjà de savoir si les « situations mentales » que l’on se propose de modéliser et le raisonnement sur celles-ci sont décidables.

Le dernier commentaire nous dit que le débat est clos car on ne connait pas d’algorithme de l’intelligence, de la conscience, de l’humour (note : le terme algorithme est probablement abusif). Mais le débat n’est pas clos tant que l’on aura pas la preuve formelle qu’un tel problème n’est pas décidable.

Un raisonement analogue vous fait conclure de bon matin que vous devez prendre le bus simplement parce que vous n’avez pas vos clés dans la poche du pantalon que vous venez d’enfiler. Peut-être serait-il judicieux de chercher un peu.

La portée de l’article de l’auteur se situe à un niveau humble de réflexion sur une éventuelle décidabilité du problème.

Signaler un abus Lien permanent

Ajouter une réaction

Pour réagir, identifiez-vous avec votre login / mot de passe, en haut à droite de cette page

Si vous n'avez pas de login / mot de passe, vous devez vous inscrire ici.


FAIRE UN DON


Palmarès