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.
|
|
Descripteurs :
|
logique mathématique
|
|
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.
|
