[article]
| Titre : | Indécidables utiles et inutiles |
| Auteurs : | Jean-Paul Delahaye, Auteur |
| Editeur : | Pour la science, 08/2014 |
| Article en page(s) : | p.76-81 |
| Note générale : | Bibliographie. |
| Langues : | Français |
in Pour la science > 442 (08/2014)
| | |
| 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. |
| Catégories : | Mathématiques
|
| Genre : | Article de périodique |
| Type : | texte imprimé ; documentaire |
[article] Indécidables utiles et inutiles [texte imprimé] / Jean-Paul Delahaye, Auteur . - [S.l.] : Pour la science, 08/2014 . - p.76-81. ISSN : 0153-4092 Bibliographie. Langues : Français in Pour la science > 442 (08/2014)
| | |
| 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. |
| Catégories : | Mathématiques
|
| Genre : | Article de périodique |
| Type : | texte imprimé ; documentaire | |  |
Accueil
Faire une suggestion Affiner la rechercheIndécidables utiles et inutiles / Pour la science (08/2014) in Pour la science, 442 (08/2014)
Mathématiques et mystères / Paris : Belin-Pour la science (2016)
