Gödel a démontré que dans tout système axiomatique, il était possible de construire une relation dont on ne pouvait dire si elle était juste ou fausse. Il est alors inutile de poser un axiome comme quoi cette relation est juste ou fausse car il a donné une formule permettant de construire alors une nouvelle relation "sans état" déterminé, et ainsi de suite…
Ce théorème a révolutionné les math qui pensaient être complètes. Ceci dis, malgré cette zone obscure non déterminé, les math marchent bien et servent tous les jours dans les modélisations ;-)
# A mes souvenirs
Posté par Sytoka Modon (site web personnel) . En réponse au message Question (naïve ?) sur le une partie théorème de Gödel.. Évalué à 6.
Gödel a démontré que dans tout système axiomatique, il était possible de construire une relation dont on ne pouvait dire si elle était juste ou fausse. Il est alors inutile de poser un axiome comme quoi cette relation est juste ou fausse car il a donné une formule permettant de construire alors une nouvelle relation "sans état" déterminé, et ainsi de suite…
Ce théorème a révolutionné les math qui pensaient être complètes. Ceci dis, malgré cette zone obscure non déterminé, les math marchent bien et servent tous les jours dans les modélisations ;-)