<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Verification-Des-Faits | Dr. Goulu</title><link>https://drgoulu.com/tag/verification-des-faits/</link><atom:link href="https://drgoulu.com/tag/verification-des-faits/index.xml" rel="self" type="application/rss+xml"/><description>Verification-Des-Faits</description><generator>HugoBlox Kit (https://hugoblox.com)</generator><language>fr-FR</language><lastBuildDate>Fri, 15 Mar 2019 00:00:00 +0000</lastBuildDate><image><url>https://drgoulu.com/media/icon_hu_8d57a97d564ea9bb.png</url><title>Verification-Des-Faits</title><link>https://drgoulu.com/tag/verification-des-faits/</link></image><item><title>Quand quelqu'un calcule 31 trillions de décimales de $\pi$, comment peut-il savoir qu'il a raison ?</title><link>https://drgoulu.com/2019/03/15/quand-quelqu-un-calcule-31-trillions-de-decimales-de-pi-comment-peut-il-savoir-qu-il-a-raison/</link><pubDate>Fri, 15 Mar 2019 00:00:00 +0000</pubDate><guid>https://drgoulu.com/2019/03/15/quand-quelqu-un-calcule-31-trillions-de-decimales-de-pi-comment-peut-il-savoir-qu-il-a-raison/</guid><description>&lt;p&gt;&lt;em&gt;Article initialement publié sur
&lt;/em&gt;&lt;/p&gt;
&lt;p&gt;le “quelqu’un” est un ordinateur qui exécute un algorithme prouvé mathématiquement correct.&lt;/p&gt;
&lt;p&gt;Celà dit, la probabilité qu’un rayon cosmique vienne modifier un bit et fausser le résultat d’un si gros calcul n’est en effet pas négligeable.&lt;/p&gt;
&lt;p&gt;Mais en réalité on s’en fiche. Il n’y a aucun besoin de connaître plus d’une dizaine de décimales de pi, voir
&lt;/p&gt;
&lt;p&gt;Voir aussi
pour un exemple d’algorithme qui calcule en n’utilisant que des nombres entiers !&lt;/p&gt;
&lt;p&gt;La version Python est ici :
&lt;/p&gt;</description></item></channel></rss>