L'incomplétude, le hasard et la physique
de Jean-Paul Delahaye In Pour la science. Dossier, 074 (01/2012), p.68-73 En 2002, le logicien Leonid Levin a démontré que l'on ne pouvait s'affranchir du théorème d'incomplétude énoncé par Kurt Gödel en 1930, selon lequel tout système formel non contradictoire contient des propositions indécidables. Il réfuta notamment certains problèmes posés par Hilbert, en montrant que certaines informations mathématiques étaient indépendantes du monde physique. Explication du théorème de Gödel et de la démonstration de Levin. |
Delahaye Jean-Paul.
« L'incomplétude, le hasard et la physique »
in Pour la science. Dossier, 074 (01/2012), p.68-73.
Titre : | L'incomplétude, le hasard et la physique (2012) |
Auteurs : | Jean-Paul Delahaye, Auteur |
Type de document : | Article : texte imprimé |
Dans : | Pour la science. Dossier (074, 01/2012) |
Article : | p.68-73 |
Note générale : | Bibliographie, webographie. |
Langues: | Français |
Descripteurs : | démonstration mathématique / problème mathématique / théorème |
Résumé : | En 2002, le logicien Leonid Levin a démontré que l'on ne pouvait s'affranchir du théorème d'incomplétude énoncé par Kurt Gödel en 1930, selon lequel tout système formel non contradictoire contient des propositions indécidables. Il réfuta notamment certains problèmes posés par Hilbert, en montrant que certaines informations mathématiques étaient indépendantes du monde physique. Explication du théorème de Gödel et de la démonstration de Levin. |
Genre : | Article de périodique |