[article]
| Titre : |
L'incomplétude, le hasard et la physique |
| Type de document : |
texte imprimé |
| Auteurs : |
Jean-Paul Delahaye, Auteur |
| Editeur : |
Pour la Science, 2012 |
| Article : |
p.68-73 |
| Note générale : |
Bibliographie, webographie. |
in Pour la science. Dossier > 074 (01/2012)
| 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. |
| Nature du document : |
documentaire |
| Genre : |
Article de périodique |
[article]
|
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.
|
| |
L'incomplétude, le hasard et la physique / Pour la Science (2012) in Pour la science. Dossier, 074 (01/2012)