https://drgoulu.com/tag/godel/GodelHugoBlox Kit (https://hugoblox.com)fr-FRMon, 13 Sep 2021 00:00:00 +0000https://drgoulu.com/media/icon_hu_6a307aa565546716.pnghttps://drgoulu.com/tag/godel/https://drgoulu.com/2021/09/13/l-enonce-dieu-existe-est-une-proposition-vraie-au-sens-logique-et-mathematique-c-benzmuller-qu-en-pensez-vous/Mon, 13 Sep 2021 00:00:00 +0000https://drgoulu.com/2021/09/13/l-enonce-dieu-existe-est-une-proposition-vraie-au-sens-logique-et-mathematique-c-benzmuller-qu-en-pensez-vous/<p><em>Réponse publiée</em> </p> <p>Les propositions vraies au sens logique et mathématique reposent sur un .</p> <p>Les articles de Benzmüller [1,2] concernent la preuve de l&rsquo;existence de dieu proposée par Gödel, qui avait soigneusement choisi des &ldquo;axiomes&rdquo; permettant de démontrer son théorème, le petit malin :</p> <p> <figure > <div class="flex justify-center "> <div class="w-full" > <img alt="" srcset="https://drgoulu.com/posts/2021/images/qimg-12597c87cd80c299d3e5dd99403015ec_hu_aedb7a71cee2bbf.webp 320w, https://drgoulu.com/posts/2021/images/qimg-12597c87cd80c299d3e5dd99403015ec_hu_7f3e584503520340.webp 480w, https://drgoulu.com/posts/2021/images/qimg-12597c87cd80c299d3e5dd99403015ec_hu_94cb673d6285f0e4.webp 498w" sizes="(max-width: 480px) 100vw, (max-width: 768px) 90vw, (max-width: 1024px) 80vw, 760px" src="https://drgoulu.com/posts/2021/images/qimg-12597c87cd80c299d3e5dd99403015ec_hu_aedb7a71cee2bbf.webp" width="498" height="328" loading="lazy" data-zoomable /></div> </div></figure> </p> <p>Benzmüller a utilisé un logiciel de démonstration automatique de théorème et a découvert.. que Gödel s&rsquo;est planté : L&rsquo; est inconsistant avec ses axiomes [3] !</p> <p>Je peux faire mieux :</p> <p>Axiome 1 : le Monstre de Spaghetti Volant existe.</p> <p>Théorème fondamental du : le Monstre de Spaghetti Volant existe.</p> <p>Démonstration : vrai en vertu de l&rsquo;axiome 1. CQFD et Ramen !</p> <p><strong>Références :</strong></p> <ol> <li>Benzmüller, C., &amp; Woltzenlogel Paleo, B. (2014). . <em>Frontiers in Artificial Intelligence and Applications</em>, <em>263</em>. <span class="altmetric-embed" data-badge-type="donut" data-badge-popover="right" data-doi="10.3233/978-1-61499-419-0-93" style="float: right; margin: 0 0 0.5rem 0.5rem;"></span><span class="altmetric-ref-inline"><a href="https://doi.org/10.3233/978-1-61499-419-0-93" class="altmetric-ref-link" target="_blank" rel="noopener noreferrer">doi:10.3233/978-1-61499-419-0-93</a></span></li> <li>Benzmüller, C. (2017). ( )</li> <li>Benzmüller, C. (2016). <em>Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence</em>, 936–942. <span class="altmetric-embed" data-badge-type="donut" data-badge-popover="right" data-doi="abs/10.5555/3060621.3060751" style="float: right; margin: 0 0 0.5rem 0.5rem;"></span><span class="altmetric-ref-inline"><a href="https://doi.org/abs/10.5555/3060621.3060751" class="altmetric-ref-link" target="_blank" rel="noopener noreferrer">doi:abs/10.5555/3060621.3060751</a></span></li> </ol>