|
Titre :
|
Indécidables utiles et inutiles (2014)
|
|
Auteurs :
|
Jean-Paul Delahaye, Auteur
|
|
Type de document :
|
Article : texte imprimé
|
|
Dans :
|
Pour la science (442, 08/2014)
|
|
Article en page(s) :
|
p.76-81
|
|
Note générale
|
Bibliographie.
|
|
Langues de la publication :
|
Français
|
|
Descripteurs
|
[UNESCO] 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 :
|
Article de périodique
|
