Re: Suites remarquables : les nombres univers

Le Thu, 28 Nov 2024 10:08:15 +0100, Paul Aubrin a écrit :

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

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 [...]
https://scienceetonnante.com/2013/01/14/le-theoreme-de-godel/

Je connais la démonstration du théorème d'incomplétude de Gödel.

Je repose donc ma question : quel est le rapport entre "pi est peut-être un
nombre univers" et le théorème d'incomplétude de Gödel ?

En quoi la conjecture et le théorème auraient un rapport dans "La façon
d'utiliser des modèles" ?

--
"Ce qu'il faut au fond pour obtenir une espèce de paix avec les hommes,
(...) c'est leur permettre en toutes circonstances, de s'étaler, de se
vautrer parmi les vantardises niaises. Il n'y a pas de vanité
intelligente. C'est un instinct." - Céline