[article] Titre : |
Indécidables utiles et inutiles |
Type de document : |
texte imprimé |
Auteurs : |
Jean-Paul Delahaye, Auteur |
Année de publication : |
2014 |
Article en page(s) : |
p.76-81 |
Note générale : |
Bibliographie. |
Langues : |
Français (fre) |
in Pour la science > 442 (08/2014) Catégories : |
Mathématiques
|
Résumé : |
Point sur les recherches effectuées par des mathématiciens pour limiter l'incomplétude de toute théorie mathématique : définition de la complexité d'un objet numérique, notion de "consistance", méthodes de complétion envisagées, apport des recherches et notamment l'utilisation des indécidables comme axiomes, perspectives. Encadrés : complexité de Kolmogorov indécidable ; ajout d'axiomes pour réduire l'incomplétude ; classification des formules ; fonction des formules pi1. |
Nature du document : |
documentaire |
Genre : |
Article de périodique |
[article] Indécidables utiles et inutiles [texte imprimé] / Jean-Paul Delahaye, Auteur . - 2014 . - p.76-81. Bibliographie. Langues : Français ( fre) in Pour la science > 442 (08/2014) Catégories : |
Mathématiques
|
Résumé : |
Point sur les recherches effectuées par des mathématiciens pour limiter l'incomplétude de toute théorie mathématique : définition de la complexité d'un objet numérique, notion de "consistance", méthodes de complétion envisagées, apport des recherches et notamment l'utilisation des indécidables comme axiomes, perspectives. Encadrés : complexité de Kolmogorov indécidable ; ajout d'axiomes pour réduire l'incomplétude ; classification des formules ; fonction des formules pi1. |
Nature du document : |
documentaire |
Genre : |
Article de périodique |
| ![Indécidables utiles et inutiles vignette](https://cdi.csilyon.fr/pmb/opac_css/thumbnail.php?type=1&id=24924) |