|
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 en page(s) :
|
p.78-83
|
|
Note générale
|
Bibliographie, webographie.
|
|
Langues de la publication :
|
Français
|
|
Descripteurs
|
[UNESCO] 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.
|
|
Nature du document :
|
Article de périodique
|
