[article]
| Titre : | Des indécidables à portée de main |
| Auteurs : | Jean-Paul Delahaye, Auteur |
| Editeur : | Pour la science, 2016 |
| Article en page(s) : | p.78-83 |
| Note générale : | Bibliographie, webographie. |
| Langues : | Français |
in Pour la science > 468 (10/2016)
| | |
| 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. |
| Catégories : | Logique mathématique
|
| Genre : | Article de périodique |
| Type : | texte imprimé ; documentaire |
[article] Des indécidables à portée de main [texte imprimé] / Jean-Paul Delahaye, Auteur . - [S.l.] : Pour la science, 2016 . - p.78-83. ISSN : 0153-4092 Bibliographie, webographie. Langues : Français in Pour la science > 468 (10/2016)
| | |
| 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. |
| Catégories : | Logique mathématique
|
| Genre : | Article de périodique |
| Type : | texte imprimé ; documentaire | |  |
Accueil
Des indécidables à portée de main / Pour la science (2016) in Pour la science, 468 (10/2016)