Re: Suites remarquables : les nombres univers

Le 28/11/2024 à 08:47, Thomas Alexandre a écrit :

Le Thu, 28 Nov 2024 07:03:42 +0100, Paul Aubrin a écrit :
 

Le 27/11/2024 à 18:20, Thomas Alexandre a écrit :

Ce genre d'article est certainement du blabla, mais il donne accès à
une idée intéressante. Cela rappelle un peu le théorème de Gödel.

Hein ? C'est quoi le rapport entre "pi est peut-être un nombre univers"
et le théorème d'incomplétude de Gödel ?

>
La façon d'utiliser des modèles.

 Mais encore ?
 

J'ai donné le livre qui expliquait le principe de la démonstration (pour les nuls) par mise en correspondance de deux énoncés l'un étant la transformation de l'autre. Cet extrait en donne une idée (moins claire) :
"Pour tout énoncé E, il existe un autre énoncé S(E) tel que : E est démontrable si et seulement si S(E) est vrai.
Ce travail se fait au moyen d’une méthode de codage qui permet de transformer tout énoncé en un nombre entier et toute démonstration en une suite de nombres entiers. La démontrabilité de E se traduit donc comme une propriété arithmétique sur des suites de nombres, c’est l’énoncé S(E). Ensuite l’astuce diabolique, c’est ensuite de trouver UN énoncé particulier, noté G, tel que « S(G) = non-G ». En appliquant le résultat précédent pour cet énoncé particulier G, on obtient alors l’affirmation
G est démontrable si et seulement si G est faux."
https://scienceetonnante.com/2013/01/14/le-theoreme-de-godel/