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