[article] 
inPour la science. Dossier > 074 (01/2012)

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.
Langues :	Français (fre)
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 [texte imprimé] / Jean-Paul Delahaye, Auteur . - Pour la science, 2012 . - p.68-73.
Bibliographie, webographie.
Langues : Français (fre)
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