187 lines
15 KiB
HTML
187 lines
15 KiB
HTML
<!DOCTYPE html>
|
||
<html lang="fr">
|
||
<head>
|
||
<meta charset="utf-8">
|
||
<title>YBlog - Indécidabilités (partie 1)</title>
|
||
<meta name="keywords" content="mathématiques, science, philosophy, indecidability" />
|
||
|
||
<link rel="shortcut icon" type="image/x-icon" href="../../../../Scratch/img/favicon.ico" />
|
||
<link rel="stylesheet" type="text/css" href="../../../../css/y.css" />
|
||
<link rel="stylesheet" type="text/css" href="/css/legacy.css" />
|
||
<link rel="alternate" type="application/rss+xml" title="RSS" href="/rss.xml" />
|
||
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
||
<link rel="apple-touch-icon" href="../../../../Scratch/img/about/FlatAvatar@2x.png" />
|
||
<!--[if lt IE 9]>
|
||
<script src="http://ie7-js.googlecode.com/svn/version/2.1(beta4)/IE9.js"></script>
|
||
<![endif]-->
|
||
<!-- IndieAuth -->
|
||
<link href="https://twitter.com/yogsototh" rel="me">
|
||
<link href="https://github.com/yogsototh" rel="me">
|
||
<link href="mailto:yann.esposito@gmail.com" rel="me">
|
||
<link rel="pgpkey" href="../../../../pubkey.txt">
|
||
</head>
|
||
<body lang="fr" class="article">
|
||
<div id="content">
|
||
<div id="header">
|
||
<div id="choix">
|
||
<span id="choixlang">
|
||
<a href="../../../../Scratch/en/blog/2010-07-09-Indecidabilities/">Anglais</a>
|
||
</span>
|
||
<span class="tomenu"><a href="#navigation">↓ Menu ↓</a></span>
|
||
<span class="flush"></span>
|
||
</div>
|
||
</div>
|
||
|
||
<div id="titre">
|
||
<h1>Indécidabilités (partie 1)</h1>
|
||
|
||
</div>
|
||
<div class="flush"></div>
|
||
<div id="afterheader" class="article">
|
||
<div class="corps">
|
||
<p><% # toremove_ %></p>
|
||
<div class="intro">
|
||
<p><span class="sc"><abbr title="Trop long; pas lu">tlpl</abbr>: </span> Je crée un mode mathématique simple pour parler de différents types d’<em>indécidabilités</em> :</p>
|
||
<ul>
|
||
<li>indécidabilité due aux erreurs d’observation ;</li>
|
||
<li>grandes erreurs résultant de petites erreurs de mesure ;</li>
|
||
<li>indécidabilité fractales ;</li>
|
||
<li>indécidabilité logique.</li>
|
||
</ul>
|
||
</div>
|
||
<hr />
|
||
<h1 id="les-indécidabilités">Les indécidabilités</h1>
|
||
<div class="intro">
|
||
<p>Si le monde a été fabriqué par un démiurge, on peut dire que celui-ci devait avoir le sens de l’humour. Et le récit que je vais faire va vous en fournir la preuve. Je vais me mettre à sa place. Je vais créer un monde simplifié. Un monde régi exactement par nos règles mathématiques. Puis je vais vous parler du mal qui touche cet Univers semblable au notre ; l’<em>indécidabilité</em>. L’incapacité de savoir si nous avons trouvé la vérité, ou seulement une approximation de celle-ci. L’incapacité de prédire certaines choses qui semblent pourtant aller de soi. Voilà comment tout aurait pu commencer.</p>
|
||
</div>
|
||
<div>
|
||
<img src="../../../../Scratch/img/blog/2010-07-09-Indecidabilities/genesis.png" alt class="left" />
|
||
</div>
|
||
<p>Au début, il n’y avait rien. Puis un article de blog commença à prendre forme. J’inspire profondément pour sentir la pesanteur de ce que je vais accomplir. Attention, une dernier moment de tension et je crée l’<em>Univers</em>. Un <em>Univers</em> qui n’existera que le temps de la lecture de cet article. Me voici le <em>démiurge</em> de cet Univers et te voilà son observateur privilégié.</p>
|
||
<p>Comme j’aime bien tout contrôler, je fabrique ce monde avec quelques règles simples. Je décide que les <em>vrais</em> règles de ce monde sont celles que nous pensons qui régissent notre monde. Notez qu’il y a une grande différence. Pour leur monde, ce que l’on <em>croit</em> vrai aujourd’hui, est vraiment vrai pour eux. Leur monde est donc plus <em>simple</em> à priori que le notre. En particulier, on peut le décrire avec des axiomes et des règles mathématiques. Alors qu’il est possible que ce ne soit pas le cas de notre Univers. Mais nous reviendront là-dessus plus tard.</p>
|
||
<p>Bon au travail maintenant, je crée une <em>Terre</em>. J’y ajoute des habitants intelligents, les <em>Ys</em>. Bien entendu ils se posent des questions. En particulier, ils se demandent quelles sont les lois qui régissent leur monde. Ils pensent que connaître toutes ces règles leur permettrait de connaître l’avenir. Leur naïveté est touchante. Ah, si seulement ils savaient. Mais je suis là pour les aider à apprendre.</p>
|
||
<p>Comme je suis un Dieu un peu facétieux, je vais leur jouer quelques tours. Sinon on s’ennuierai à mourir. Le premier est de leur donner des sens imparfaits. De plus il leur est impossible d’avoir des mesures parfaites. Je leur laisse cependant toutes libertés pour améliorer leur technologie et diminuer ces erreurs de mesures.</p>
|
||
<p>Les habitants de ce monde pensent que celui-ci est plat. Certains d’entre eux pensent qu’il est possible de découvrir les règles du monde que j’ai créé. Et bien que le jeu commence.</p>
|
||
<p>Commençons par leur première leçon, <em>les erreurs causent de l’indécidabilité</em>.</p>
|
||
<h2 id="indécidabilité-dues-aux-erreurs-de-mesures">Indécidabilité dues aux erreurs de mesures</h2>
|
||
<p>Voici ce que pense l’un de ces individus.</p>
|
||
<blockquote>
|
||
<p>Tous les triangles que j’observe semble avoir une propriété commune. La somme de leurs angles est toujours π radiants (180°). Il s’agit certainement d’une loi de mon Univers. Mais comment être certain que tous les triangles de mon Univers possèdent cette propriété ?</p>
|
||
</blockquote>
|
||
<div>
|
||
<img src="../../../../Scratch/img/blog/2010-07-09-Indecidabilities/triangle_3_angles.png" alt="three triangles" class="left" />
|
||
</div>
|
||
<p>Certain d’entre eux commencent à formaliser un petit peu le problème et ils finissent faire une preuve mathématique. Magnifique ! La preuve est correcte, mais il reste un petit problème. La preuve s’appuie sur des axiomes et des règles. Comment être certain que ces règles et ces axiomes sont vrai dans leur monde? Ils auront beau faire des mesures de plus en plus précises qui conforteront cette formule, ils n’auront que l’<em>espoir</em> et <em>jamais</em> la certitude que la formule est vrai. Simplement parce que le seul moyen de vérifier la véracité des axiomes est par l’observation. Hors en tant que dieu facétieux, j’ai interdit les observation avec des mesures parfaites.</p>
|
||
<p>Bien entendu, ils prient, ils m’appellent à l’aide. Et comme tout Dieu qui se respecte, je ne réponds pas. Ah ah ah ! J’ai toujours aimé faire ce genre de chose. Ensuite je ferai comme si je n’existe pas. Encore un bonne blague !</p>
|
||
<p>Si certains se sentent accablés, il leur reste un espoir :</p>
|
||
<blockquote>
|
||
<p><em>Espoir</em></p>
|
||
<p>Si nous faisons de faibles erreurs de mesure, nous aurons de faibles erreurs dans nos prédictions.</p>
|
||
</blockquote>
|
||
<h2 id="indécidabilité-avec-erreurs-croissantes">Indécidabilité avec erreurs croissantes</h2>
|
||
<div>
|
||
<img src="../../../../Scratch/img/blog/2010-07-09-Indecidabilities/3_corps.png" alt="Three bodies" class="left" />
|
||
</div>
|
||
<p>Malheureusement pour eux, il y a le <em>problème des 3 corps</em>. Prenons les formules de la gravitation Universelle et appliquons la à deux corps célestes. Si on connait la position de ces corps avec un grande précision, on pourra aussi connaître la position future de ces corps avec une grande précision. L’hypothèse selon laquelle de petite erreurs de mesures impliquent de petites erreurs prédictive est confortée. Cependant, il y a un problème. Reprenons le même problème mais avec trois corps. Par exemple, avec le Soleil, la Terre et la Lune. Dans ce cas, les erreurs de mesures initiales vont s’amplifier. S’amplifier au point de rendre toute prédiction inutilisable.</p>
|
||
<p>Là encore une voix d’espoir s’élève :</p>
|
||
<blockquote>
|
||
<p>Peut-être pouvons nous calculer l’erreur maximale acceptable pour prédire quelque chose. Et nous pourrions au moins savoir ce que nous pouvons prédire ou pas.</p>
|
||
</blockquote>
|
||
<p>Une fois encore, ça ne va pas très bien se passer.</p>
|
||
<h2 id="indécidabilité-fractale">Indécidabilité fractale</h2>
|
||
<p>Considérons la question suivante :</p>
|
||
<div>
|
||
<img src="../../../../Scratch/img/blog/2010-07-09-Indecidabilities/mandelbrot.png" alt="Mandelbrot set" class="left" />
|
||
</div>
|
||
<p>Soit des coordonnées GPS précises à 1m près. Les coordonnées sont proches des côtes de la Bretagne. Ce point va-t-il tomber dans la mer ou sur la terre ferme ?</p>
|
||
<p>Et bien, pour certaines coordonnées, c’est impossible de le savoir. Même si je réduis l’erreur à une valeur infinitésimale. Simplement parce que certains voisinages autour d’un point contiennent toujours à la fois de l’eau et de la terre. Et ce quelque soit la taille du voisinage.</p>
|
||
<p>On peut même imaginer une structure ou <em>tous</em> les points sont au bord de celle-ci, on ne peut donc pas se permettre d’erreur<a href="#fn1" class="footnote-ref" id="fnref1"><sup>1</sup></a>.</p>
|
||
<p>Mais que vois-je ? Un petit malin essaye de trouver la vérité en s’extrayant de mon Monde et en faisant un article sur un blog ? Ça ne va pas se passer comme ça ! Croyez moi ! > Faire des prédictions précises à partir des données observées semble être une quête vouée à l’échec. > Mais je suis persuadé que l’on peut aller au delà. > Au diable ce Dieu qui nous empêche d’avoir des mesures précises ! > Inventons notre propre Univers mathématique. > Un monde qui se suffit à lui-même. > Un monde dans lequel il n’y aura plus d’erreur de mesure. > Un monde entièrement contrôlé par des règles que nous aurons choisi. > Un monde similaire au notre mais où tout pourra être prédit.</p>
|
||
<h2 id="indécidabilité-logique">Indécidabilité logique</h2>
|
||
<div>
|
||
<img src="../../../../Scratch/img/blog/2010-07-09-Indecidabilities/stackOverflow.png" alt="recursive stack overflow" class="left" />
|
||
</div>
|
||
<p>Jusqu’ici, tous les problèmes d’indécidabilités étaient dûs aux <em>erreurs</em>. Maintenant peut-être que privé d’erreur de mesure, on pourrait enfin résoudre tous les problèmes.<br />
|
||
Et bien non. Même dans un monde mathématique complètement contrôlé. On peut créer un objet pour lequel on ne pourra pas décider à l’avance ce qu’il fait.</p>
|
||
<p>Il s’agit du problème de l’arrêt.</p>
|
||
<p>Le Théorème stipule qu’il n’existe pas de programme permettant de <em>décider</em> si un autre programme s’arrête. La preuve est suffisamment simple pour rentrer dans ce post, donc je me fais un petit plaisir en la donnant.</p>
|
||
<blockquote>
|
||
<p>Supposons qu’il existe un programme qui puisse dire si un autre programme s’arrête. Plus précisément :</p>
|
||
<p>Hypothèse: Il existe un programme <code>P</code> tel que:</p>
|
||
<ul>
|
||
<li><code>P(x,y)</code> réponde “s’arrête” en un temps fini si et seulement si <code>x(y)</code><a href="#fn2" class="footnote-ref" id="fnref2"><sup>2</sup></a> s’arrête effectivement en temps fini et</li>
|
||
<li><code>P(x,y)</code> réponde “ne s’arrête pas” en un temps fini dans le cas contraire.</li>
|
||
</ul>
|
||
<p>Remarque: Tout code de programme est une chaîne de caractère qui peut être utilisée aussi comme entrée d’un autre programme. Ainsi écrire <code>P(x,x)</code> est autorisé.</p>
|
||
<p>Soit le programme Q que j’écris comme suit :</p>
|
||
<pre class="twilight">
|
||
Q(x) :
|
||
si P(x,x)="s'arrête" alors je fais une boucle infinie.
|
||
si P(x,x)="ne s'arrête pas" alors je m'arrête.
|
||
</pre>
|
||
<p>Maintenant que répond <code>P(Q,Q)</code>?</p>
|
||
<ul>
|
||
<li>si <code>P(Q,Q)</code> répond “s’arrête” ça implique que <code>P(Q,Q)</code>=“ne s’arrête pas”</li>
|
||
<li>si <code>P(Q,Q)</code> répond “ne s’arrête pas” ça implique que <code>P(Q,Q)</code>=“s’arrête”</li>
|
||
</ul>
|
||
<p>Il y a donc une contradiction que le seul moyen de régler est par la non existence du programme P.</p>
|
||
</blockquote>
|
||
<p>C’est simple, je suis le démiurge de ce monde imaginaire. Et même moi, je dois me soumettre à cette règle. Comme quoi, avoir la possibilité de créer le monde et la toute puissance sont deux choses différentes.</p>
|
||
<hr />
|
||
<p>Après tout ceci, il peut sembler difficile de savoir en quoi nous pouvons croire. Mais ce serait une erreur de jeter le bébé avec l’eau du bain. Dans une seconde partie, j’expliquerai ce que nous pouvons espérer et qu’elle attitude nous devons adopter une fois que l’on a réalisé que beaucoup de vérité nous sont inaccessibles.</p>
|
||
<section class="footnotes">
|
||
<hr />
|
||
<ol>
|
||
<li id="fn1"><p>Pensez aux deux ensembles Ret Q.<a href="#fnref1" class="footnote-back">↩</a></p></li>
|
||
<li id="fn2"><p>C’est-à-dire le programme <code>x</code> prenant l’entrée <code>y</code>.<a href="#fnref2" class="footnote-back">↩</a></p></li>
|
||
</ol>
|
||
</section>
|
||
</div>
|
||
<div id="afterarticle">
|
||
<div id="social">
|
||
<a href="/rss.xml" target="_blank" rel="noopener noreferrer nofollow" class="social">RSS</a>
|
||
·
|
||
<a href="https://twitter.com/home?status=http%3A%2F%2Fyannesposito.com/Scratch/fr/blog/2010-07-09-Indecidabilities/%20via%20@yogsototh" target="_blank" rel="noopener noreferrer nofollow" class="social">Tweet</a>
|
||
·
|
||
<a href="http://www.facebook.com/sharer/sharer.php?u=http%3A%2F%2Fyannesposito.com/Scratch/fr/blog/2010-07-09-Indecidabilities/" target="_blank" rel="noopener noreferrer nofollow" class="social">FB</a>
|
||
<br />
|
||
<a class="message" href="../../../../Scratch/fr/blog/Social-link-the-right-way/">Ces liens sociaux préservent votre vie privée</a>
|
||
</div>
|
||
<div id="navigation">
|
||
<a href="../../../../">Accueil</a>
|
||
<span class="sep">¦</span>
|
||
<a href="../../../../Scratch/fr/blog">Blog</a>
|
||
<span class="sep">¦</span>
|
||
<a href="../../../../Scratch/fr/softwares">Logiciels</a>
|
||
<span class="sep">¦</span>
|
||
<a href="../../../../Scratch/fr/about">Auteur</a>
|
||
</div>
|
||
<div id="totop"><a href="#header">↑ Top ↑</a></div>
|
||
<div id="bottom">
|
||
<div>
|
||
Published on 2010-08-11
|
||
</div>
|
||
<div>
|
||
<a href="https://twitter.com/yogsototh">Follow @yogsototh</a>
|
||
</div>
|
||
<div>
|
||
<a rel="license" href="http://creativecommons.org/licenses/by/3.0/deed.en_US">Yann Esposito©</a>
|
||
</div>
|
||
|
||
<div>
|
||
Done with
|
||
<a href="http://www.vim.org" target="_blank" rel="noopener noreferrer nofollow"><strike>Vim</strike></a>
|
||
<a href="http://spacemacs.org" target="_blank" rel="noopener noreferrer nofollow">spacemacs</a>
|
||
<span class="pala">&</span>
|
||
<a href="http://nanoc.ws" target="_blank" rel="noopener noreferrer nofollow"><strike>nanoc</strike></a>
|
||
<a href="http://jaspervdj.be/hakyll" target="_blank" rel="noopener noreferrer nofollow">Hakyll</a>
|
||
</div>
|
||
|
||
</div>
|
||
</div>
|
||
</div>
|
||
|
||
</div>
|
||
</body>
|
||
</html>
|