[article]
Titre : |
Indécidables utiles et inutiles |
Type de document : |
texte imprimé |
Auteurs : |
Jean-Paul Delahaye, Auteur |
Editeur : |
Pour la Science, 2014 |
Article : |
p.76-81 |
Note générale : |
Bibliographie. |
in Pour la science > 442 (08/2014)
Mots-clés : |
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
de Jean-Paul Delahaye
In Pour la science, 442 (08/2014), p.76-81
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.
|
| |