<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Problemes-Insolubles | Dr. Goulu</title><link>https://drgoulu.com/tag/problemes-insolubles/</link><atom:link href="https://drgoulu.com/tag/problemes-insolubles/index.xml" rel="self" type="application/rss+xml"/><description>Problemes-Insolubles</description><generator>HugoBlox Kit (https://hugoblox.com)</generator><language>fr-FR</language><lastBuildDate>Mon, 23 Dec 2024 00:00:00 +0000</lastBuildDate><image><url>https://drgoulu.com/media/icon_hu_2dc8a7743be9bda7.png</url><title>Problemes-Insolubles</title><link>https://drgoulu.com/tag/problemes-insolubles/</link></image><item><title>Est-il possible que certaines questions liées à l’origine de l’Univers ou sa finalité soient fondamentalement insolubles ?</title><link>https://drgoulu.com/2024/12/23/est-il-possible-que-certaines-questions-liees-a-lorigine-de-lunivers-ou-sa-finalite-soient-fondamentalement-insolubles/</link><pubDate>Mon, 23 Dec 2024 00:00:00 +0000</pubDate><guid>https://drgoulu.com/2024/12/23/est-il-possible-que-certaines-questions-liees-a-lorigine-de-lunivers-ou-sa-finalite-soient-fondamentalement-insolubles/</guid><description>&lt;p&gt;&lt;em&gt;Réponse publiée
&lt;/em&gt;&lt;/p&gt;
&lt;p&gt;Par &amp;ldquo;finalité&amp;rdquo; vous voulez dire la fin, ou le but ?&lt;/p&gt;
&lt;p&gt;Pour la fin, on en a déjà une idée assez claire avec l&amp;rsquo;accélération de l&amp;rsquo;expansion de l&amp;rsquo;Univers : vide et froid. La seule vraie question en suspens est de savoir si le proton est éternel ou pas. Lisez ce très bon article :
&lt;/p&gt;
&lt;p&gt;Pour l&amp;rsquo;origine, il faut commencer par démontrer qu&amp;rsquo;il en a une, sinon la question n&amp;rsquo;a pas de sens. Et non, le Big Bang n&amp;rsquo;est pas forcément l&amp;rsquo;origine de l&amp;rsquo;univers : il existe des scénarios d&amp;rsquo;univers cycliques où des Big Bang se produisent dans un univers vide et froid, par exemple la
de Penrose.&lt;/p&gt;
&lt;p&gt;Ou alors en remplaçant le temps par sa cause physique qui pourrait être l&amp;rsquo;entropie (comme la chaleur pour température par exemple), et le Big Bang s&amp;rsquo;étale alors depuis l&amp;rsquo;infini dans le passé, sans singularité.&lt;/p&gt;
&lt;p&gt;Vu les progrès sur ces questions en un siècle, je n&amp;rsquo;ai aucun doute qu&amp;rsquo;elles seront définivement résolues ce siècle ci.&lt;/p&gt;
&lt;p&gt;L&amp;rsquo;idée d&amp;rsquo;un but ou d&amp;rsquo;une cause externe à l&amp;rsquo;univers ne résout rien. Si on accepte l&amp;rsquo;idée d&amp;rsquo;un dieu éternel et sorti de rien mais dont on ne voit aucune manifestation, pourquoi ne pas accepter l&amp;rsquo;idée d&amp;rsquo;un univers éternel qu&amp;rsquo;on observe tous les jours ?&lt;/p&gt;</description></item><item><title>Quels sont des examples de suites de nombres logiques non résolues (comme les nombres premiers)?</title><link>https://drgoulu.com/2023/05/24/quels-sont-des-examples-de-suites-de-nombres-logiques-non-resolues-comme-les-nombres-premiers/</link><pubDate>Wed, 24 May 2023 00:00:00 +0000</pubDate><guid>https://drgoulu.com/2023/05/24/quels-sont-des-examples-de-suites-de-nombres-logiques-non-resolues-comme-les-nombres-premiers/</guid><description>&lt;p&gt;&lt;em&gt;Réponse publiée
&lt;/em&gt;&lt;/p&gt;
&lt;p&gt;Qu&amp;rsquo;appellez vous &amp;ldquo;non résolues&amp;rdquo;?&lt;/p&gt;
&lt;p&gt;Si la suite de nombre entiers est &amp;ldquo;logique&amp;rdquo;, il y a logiquement un moyen (ou plus) de la déterminer.&lt;/p&gt;
&lt;p&gt;Si vous voulez dire qu&amp;rsquo;il n&amp;rsquo;existe pas de forme analytique de son I-ème terme, alors sachez qu&amp;rsquo;il existe des formule donnant le I-ème nombre premier.&lt;/p&gt;
&lt;p&gt;Vous en trouverez au paragraphe &amp;ldquo;formules exactes sans intérêt pratique&amp;rdquo; de
.&lt;/p&gt;
&lt;p&gt;Et on peut procéder de même pour n&amp;rsquo;importe quelle suite à ma connaissance.&lt;/p&gt;
&lt;p&gt;Par exemple pour la suite de Fibonacci, c&amp;rsquo;est la :&lt;/p&gt;
&lt;p&gt;
&lt;/p&gt;
&lt;p&gt;Il y en a d&amp;rsquo;autres plus délicates, par exemple la suite des décimales de pi. Pas évident d&amp;rsquo;obtenir la I-ème décimale sans calculer toutes les précédentes, mais pas impossible.&lt;/p&gt;</description></item><item><title>La densité des propositions indécidables au sens de Gödel est-elle comparable à la densité des nombres transcendants ?</title><link>https://drgoulu.com/2020/07/18/la-densite-des-propositions-indecidables-au-sens-de-godel-est-elle-comparable-a-la-densite-des-nombres-transcendants/</link><pubDate>Sat, 18 Jul 2020 00:00:00 +0000</pubDate><guid>https://drgoulu.com/2020/07/18/la-densite-des-propositions-indecidables-au-sens-de-godel-est-elle-comparable-a-la-densite-des-nombres-transcendants/</guid><description>&lt;p&gt;&lt;em&gt;Réponse publiée
&lt;/em&gt;&lt;/p&gt;
&lt;p&gt;Un matheux vous répondra certainement de manière plus rigoureuse , mais pour ce que j&amp;rsquo;en ai compris, la logique formelle considère les propositions comme des suites de symboles, donc il y en a une infinité dénombrable comme les entiers.&lt;/p&gt;
&lt;p&gt;Pendant longtemps on a pensé que les propositions indecidables étaient des exceptions, mais depuis certains travaux, notamment ceux de
, on sait notamment que&lt;/p&gt;
&lt;blockquote class="border-l-4 border-neutral-300 dark:border-neutral-600 pl-4 italic text-neutral-600 dark:text-neutral-400 my-6"&gt;
&lt;p&gt;La probabilité pour qu&amp;rsquo;une formule de longueur n tirée au hasard soit indécidable tend vers 1 quand n tend vers l’infini: à l’infini, toutes les formules sont indécidables&lt;/p&gt;
&lt;/blockquote&gt;
&lt;p&gt;L&amp;rsquo;article&lt;/p&gt;
&lt;p&gt;
, « Presque tout est indécidable!»,
, no 375,‎ janvier 2009(
)&lt;/p&gt;
&lt;p&gt;en parle en détail.&lt;/p&gt;
&lt;p&gt;Ma compréhension est donc que c&amp;rsquo;est plutôt comme les entiers composés par rapport aux premiers : plus le nombre est grand, moins il a de chances d&amp;rsquo;être premier, ou de correspondre à un énoncé décidable.&lt;/p&gt;</description></item></channel></rss>