Aller au contenu

Bref retour sur Ködel.

muon

Par muon
dans Science

 Partager

Messages recommandés

muon

muon

Posté
Posté

Bonjour,

Voici un résultat inattendu :

30670-1483505596.jpg

Je suis parti du nombre 100 mais tout autre nombre (appelé "la graine") conviendrait.

Ce théorème de Goodstein est vrai et est pourtant indémontrable dans le système d'axiomes de l'arithmétique ce qui constitue un exemple du théorème d'incomplétude de Kurt Gödel.

Il faut passer par la théorie de l'arithmétique non standard pour le démontrer.

Amicalement.

Lien vers le commentaire
Partager sur d’autres sites

Rejoignez la conversation !

Vous pouvez répondre maintenant et vous inscrire plus tard. Si vous avez un compte, connectez-vous pour poster avec votre compte.

Invité
Répondre à ce sujet…

×   Collé en tant que texte enrichi.   Coller en tant que texte brut à la place

  Seulement 75 émoticônes maximum sont autorisées.

×   Votre lien a été automatiquement intégré.   Afficher plutôt comme un lien

×   Votre contenu précédent a été rétabli.   Vider l’éditeur

×   Vous ne pouvez pas directement coller des images. Envoyez-les depuis votre ordinateur ou insérez-les depuis une URL.

×
 Partager
Aller sur la liste des sujets

  • En ligne récemment   0 membre est en ligne

    • Aucun utilisateur enregistré regarde cette page.
×
×
  • Créer...

Information importante

Nous avons placé des cookies sur votre appareil pour aider à améliorer ce site. Vous pouvez choisir d’ajuster vos paramètres de cookie, sinon nous supposerons que vous êtes d’accord pour continuer.