Des indécidables à portée de main

Dans le périodique : Pour la science, n°468 (10/2016)
• Auteur : Jean-Paul Delahaye
• Pages : p.78-83
  • Langues : Français
• • Nature du document : documentaire Genre : Article de périodique
  • Note générale : Bibliographie, webographie.
  • Résumé :

    Le point sur la notion d'indécidabilité en mathématiques : définition, l'utilisation de la logique mathématique pour démontrer que certains énoncés sont indécidables c.-à-d. ni vrai ni faux ; les théorèmes d'incomplétudes de Gödel ; les machines de Turing et les fonctions non-calculables ; la fonction de Rado ; les recherches récentes de Scott Aaronson et Adam Yedidia.

• • Descripteurs : logique mathématique