Forum du Monde des Religions
Vous souhaitez réagir à ce message ? Créez un compte en quelques clics ou connectez-vous pour continuer.
-34%
Le deal à ne pas rater :
Casque The Mandalorian, Casque électronique Premium Star Wars
94.99 € 144.05 €
Voir le deal

Aller en bas
Arlitto
Arlitto
Admin
Admin
Messages : 10430
Date d'inscription : 18/09/2019
http://arlitto.forumprod.com/

Théorème d'incomplétude de Gödel Empty Théorème d'incomplétude de Gödel

Dim 12 Avr - 11:38
.

Théorème d'incomplétude de Gödel
[Vous devez être inscrit et connecté pour voir cette image]

(Les théorèmes d'incomplétude = il existe des vérités qui sont indémontrables)

Kurt Gödel (1906-1978) est un logicien et mathématicien austro-américain. On connaît surtout de lui deux théorèmes dits d'incomplétude en logique mathématique. Mais on lui doit aussi des travaux en relativité générale, notamment sa fameuse solution des équations d'Einstein décrivant un univers en rotation. 

Les [Vous devez être inscrit et connecté pour voir ce lien] de Gödel sont deux [Vous devez être inscrit et connecté pour voir ce lien] célèbres de logique mathématique, démontrés par [Vous devez être inscrit et connecté pour voir ce lien] en 1931. On se posait alors la question de savoir si les systèmes axiomatiques proposés pour démontrer toutes les théories mathématiques connues pouvaient démontrer leur propre consistance logique. En gros, pouvait-on être sûr que l'on n'aurait jamais des démonstrations contradictoires d'un énoncé de mathématique déduit d'un des systèmes d'[Vous devez être inscrit et connecté pour voir ce lien] censés fonder les mathématiques ?

Le grand mathématicien [Vous devez être inscrit et connecté pour voir ce lien], qui avait été à l'origine de ce problème, l'espérait. Mais [Vous devez être inscrit et connecté pour voir ce lien] mit fin à cet espoir en démontrant que tout système axiomatique permettant de faire de l'arithmétique devait contenir des propositions qui ne pouvaient être démontées, ou réfutées, en utilisant le système axiomatique en question. 

Si l'on décidait qu'une de ces propositions était un autre axiome, on aurait un nouveau système, mais qui contiendrait lui aussi des propositions dont la vérité ou la fausseté sont indécidables. Paradoxalement, on sait que certaines de ces propositions indécidables sont vraies, mais on ne peut le démontrer. C'est souvent en ces termes que l'on parle « du » [Vous devez être inscrit et connecté pour voir ce lien] de Gödel, mais il s'agit en fait de son premier théorème d'incomplétude.

Le second théorème, lui, affirme que dans un système axiomatique donné permettant de faire de l'arithmétique, la proposition concernant la non-contradiction de ce système (c'est-à-dire le fait qu'on ne pourra jamais en déduire deux propositions mathématiques contradictoires) est elle-même indécidable. D'autres énoncés indécidables ont été découverts depuis. Ainsi, d'après des travaux de Gödel, puis de Paul Cohen, l'axiome du choix et l'[Vous devez être inscrit et connecté pour voir ce lien] sont des énoncés indécidables dans la théorie ZF, la théorie des ensembles de Zermelo et Fraenkel, couramment utilisée comme fondement des mathématiques.

[Vous devez être inscrit et connecté pour voir ce lien]


Les théorèmes d'incomplétude de Gödel — Science étonnante



En mathématiques, il existera toujours des choses vraies, mais indémontrables.

Les implications pratiques du théorème de Gödel
En théorie, le théorème de Gödel est une catastrophe. Il nous dit que, aussi sophistiqués et nombreux que soient nos axiomes de départ, on va se retrouver avec des énoncés indécidables. Cela veut dire qu’il y a peut être des milliers de mathématiciens en train de passer leurs journées à chercher des démonstrations … de choses indémontrables !
.
Revenir en haut
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum