Delahaye Jean-Paul.
« Des indécidables à portée de main »
in Pour la science, 468 (10/2016), p.78-83.
Titre : | Des indécidables à portée de main (2016) |
Auteurs : | Jean-Paul Delahaye, Auteur |
Type de document : | Article : texte imprimé |
Dans : | Pour la science (468, 10/2016) |
Article : | p.78-83 |
Note générale : | Bibliographie, webographie. |
Langues: | Français |
Descripteurs : | |
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. |
Genre : | Article de périodique |
Nature du document : | documentaire |