Path: ...!news.roellig-ltd.de!news.mb-net.net!open-news-network.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!cleanfeed3-a.proxad.net!nnrp1-2.free.fr!not-for-mail
From: Thomas Alexandre <none@no.invalid>
Subject: Re: Suites remarquables : les nombres univers
Newsgroups: fr.sci.zetetique
References: <C1m1P.196314$57_b.60665@fx15.ams4> <vi4v27$25aa$1@solani.org>
	<BnG1P.160684$7Lh8.49115@fx11.ams4> <vi7i40$fau1$1@solani.org>
	<QiI1P.215747$ziie.115511@fx02.ams4> <674754c9$0$539$426a74cc@news.free.fr>
	<2JT1P.158844$Tr7c.114056@fx04.ams4> <6748202d$0$5199$426a74cc@news.free.fr>
	<3qW1P.161565$Tr7c.46392@fx04.ams4>
MIME-Version: 1.0
Organization: =?UTF-8?B?8J+Nv/Cfjbo=?=
User-Agent: Pan/0.161 (Chasiv Yar; )
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Date: 28 Nov 2024 11:52:43 GMT
Lines: 36
Message-ID: <6748598b$0$29739$426a34cc@news.free.fr>
NNTP-Posting-Date: 28 Nov 2024 12:52:43 CET
NNTP-Posting-Host: 78.196.238.42
X-Trace: 1732794763 news-4.free.fr 29739 78.196.238.42:37044
X-Complaints-To: abuse@proxad.net
Bytes: 2581

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