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 Subject: Re: Suites remarquables : les nombres univers Newsgroups: fr.sci.zetetique References: <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