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


Commentaire de herbe

sur Peux-on concevoir une théorie du tout ? Gödel et l'incomplétude


Voir l'intégralité des commentaires de cet article

herbe herbe 27 février 2012 19:18

Juste pour mettre l’eau à la bouche dans une section de l’histoire universelle des chiffres consacrée à l’histoire du calcul artificiel, j’ai trouvé ceci que je recopie (tome 2 page 630, désolé pour les éventuelles fautes...) :


« Transposé dans la théorie des machines de Turing, le résultat de Gödel sur l’indécidabilité s’énonce donc ainsi : il ne peut exister de programme universel U qui soit capable de répondre en un nombre fini d’opérations à la question suivante, relativement à un programme P quelconque : le programma P s’arrêtera-t-il au bout d’un nombre fini d’opérations ? Car si un tel programma existait, on aboutirait à une contradiction logique en l’appliquant à lui même. »

....

« En fait, on sait aujourd’hui (mais on l’a définitivement montré que depuis les années 1950) que les problèmes dont la solution est exprimable sous la forme d’un algorithme ne constituent qu’une classe très particulière de processus intellectuels (à savoir qui sont de nature calculatoire), et qu’il existe même une variété considérable de problèmes inaccessibles aux machines de Turing (et donc aux ordinateurs, qui comme le prouvera ultérieurement le mathématicien John von Neumann, ne sont autres que des modèles finis de l’automate algorithmique universel de Turing, ....voir p 685-686) »
-----------
A la fin de l’ouvrage tome 2 il y a une section consacrée à l’« intelligence, science et avenir de l’homme » incluant une piste sur « les cerveaux artificiels de demain » mais je vous laisse poursuivre votre découverte...
Répondre Signaler un abus

Voir ce commentaire dans son contexte


Derniers commentaires




Palmarès