Last posts on démonstration2024-03-28T17:45:46+01:00All Rights Reserved blogSpirithttps://www.hautetfort.com/https://www.hautetfort.com/explore/posts/tag/démonstration/atom.xmlPedroshttp://xyzabcd.hautetfort.com/about.htmlDis maman, pourquoi beaucoup de riches sont chrétiens ? tag:xyzabcd.hautetfort.com,2018-01-12:60165822018-01-12T21:17:37+01:002018-01-12T21:17:37+01:00 Ceci est un additif du billet précédent : « Humour. Dis maman, Tu...
<p>Ceci est un additif du billet précédent : « Humour. Dis maman, Tu sais qui a dit : « Ils ne comprennent rien ... » .</p><p> </p><p>... Maman, pourtant, ILS savent LIRE ! Non ? ! Regarde !</p><p><strong><em><span style="font-size: 14.0pt; font-family: 'Times New Roman','serif'; color: fuchsia;">C’est écrit en 6 lignes !</span></em></strong></p><p><em><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">Ev. s. st.-Luc : -ch. 6.24 « Mais malheur à vous, riches, parce que vous avez votre consolation dans ce monde ! » ;</span></em></p><p><em><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">-ch. 6.25 « Malheur à vous qui êtes rassasiés, parce que vous aurez faim ! Malheur à vous qui maintenant riez, parce que vous serez réduits aux pleurs et aux larmes ! » ;</span></em></p><p><em><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">Luc -ch. 18.25 « Il est plus aisé qu’un chameau passe par le trou d’une aiguille qu’il ne l’est qu’un riche entre dans le royaume de Dieu » !</span></em></p><p><strong><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #00b0f0;">Tu as raison ma Puce mais ces gens-là, ils comprennent les lois d’une autre façon que nous, pauvres pécheurs !</span></strong></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">Et, comme par hasard, c’est souvent à leur avantage !</span></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">Ils passent même leur vie à réfléchir sur les traductions possibles « au second degré » ...</span></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">De cette manière, ce qu’on prend pour une tricherie, pour eux, ce n’en n’est plus !</span></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">Mais il faut être suffisamment intelligent pour trouver l’argumentation adéquate !</span></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">Et tu vois, chez les politiciens, à part quelques exceptions, c’est pareil ou kif-kif ou en hébreux : כמו</span></p><p><strong><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #00b0f0;">Ma Puce, je vais t’expliquer en bref :</span></strong></p><p><strong><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #00b0f0;">Si tu les interroges, ils te disent tous, instantanément plusieurs choses !</span></strong></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">« <a href="http://www.linternaute.com/expression/langue-francaise/935/ne-pas-etre-ne-de-la-derniere-pluie/"><span style="color: black;">Nous ne sommes pas nés de la dernière pluie » ou </span></a> « Nous ne sommes pas nés de la dernière couvée »</span></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;"> « Nous ne sommes pas des perdreaux de l’année »</span></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">« Il ne faut pas prendre les enfants du bon Dieu pour des canards sauvages ! »</span></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #00b0f0;">ET D’AJOUTER</span><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;"> : Au Moyen-âge, sous la Monarchie, les nobles ou élus de Dieu n’étaient-ils pas les riches bénis par l’Eglise et les papes ? </span></p><p><strong><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">Si on commençait à douter de Dieu, de ses inspirations, donc de l’Eglise et des papes, où irions-nous ma pauvre Madame ? !</span></strong></p><p><strong><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">Et le voisinage des papes ne n’est-il pas les riches ? !</span></strong></p><p><strong><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">Une autre preuve, ma chère ! </span></strong></p><p><strong><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">Le pape François n’a-t-il pas seulement confirmé en 2015 ce que signifiaient les « paraboles » précédentes sur les riches ?</span></strong></p><ul><li><strong><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: black;">N’a-t-il pas relativisé en se contentant de « fustiger <em>» (</em></span></strong><em><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: black;">Littéraire. Critiquer, corriger quelqu'un, le reprendre vivement : Fustiger ses adversaires.Fustiger l'hypocrisie.), </span></em><strong><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: black;">d’évoquer l’injustice pouvant aller jusqu’à tuer !</span></strong></li></ul><p><em><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;"> [[[Internet : <strong><a href="http://www.lemonde.fr/ameriques/article/2015/07/10/face-a-l-economie-qui-tue-et-qui-exclut-le-pape-prone-un-changement-radical_4677940_3222.html"><span style="color: black;">Le pape fustige l'économie qui « tue » et qui « exclut » - Le Monde</span></a> </strong></span></em></p><p><strong><em><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">www.lemonde.fr/.../face-a-l-economie-qui-tue-et-qui-exclut-le-pape-prone-un-change...</span></em></strong></p><p><em><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">10 juil. 2015 - En <strong>Bolivie</strong>, François a prononcé l'un de ses discours les plus politiques et a mis en avant le caractère « révolutionnaire » de la foi.</span></em></p><p><strong><em><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;"><a href="http://www.lefigaro.fr/actualite-france/2015/07/10/01016-20150710ARTFIG00001-finance-internationale-le-pape-fustige-l-economie-qui-tue.php"><span style="color: black;">En Bolivie, le pape François dénonce «l'idole argent» - Le Figaro</span></a> </span></em></strong></p><p><strong><em><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">www.lefigaro.fr › Société</span></em></strong><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;"> <em>10 juil. 2015 - Disons non à une <strong>économie</strong> d'exclusion et d'injustice où l'argent règne au lieu de servir. Cette <strong>économie tue</strong>. Cette <strong>économie</strong> exclut.]]]</em></span></p><p><em><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;"> </span></em><strong><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;"># # # QUAND A-T-IL REPRIS LA FORME DES 3 PARABOLES ?</span></strong></p><p><strong><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;"> Les plus compétitifs ont complété la DÉMONSTRATION !</span></strong></p><p><strong><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;"> </span></strong><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">* <strong>NOUS SAVONS TOUS</strong> que ce n’est pas la meilleure des choses mais <strong>QU’IL SUFFIT DE SE DÉCLARER « PAUVRE D’ESPRIT » OU DE DÉCLARER « QU’ON NE SAIT PAS TOUJOURS CE QU’ON FAIT » POUR ÊTRE PARDONNÉ !</strong></span></p><p><strong><span style="font-size: 14.0pt; font-family: 'Times New Roman','serif'; color: #00b0f0;"> </span></strong><span style="font-size: 14.0pt; font-family: 'Times New Roman','serif'; color: #00b0f0;">** Attention,<em> </em>ma Chérie, ce n’est pas ironique ! Ne te laisse pas piéger !</span></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;"> # # # # # « Par exemple, si un de tes copains décide de jouer, comme tu dis, « AU CON », il se conduira n’importe comment pendant un certain temps mais, à la fin, fatigué, il s’arrêtera et redeviendra normal !</span></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;"> Tandis que s’il était réellement « con », il ne pourrait pas s’empêcher de faire n’importe quoi en permanence !</span></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;"> *** Or que font les riches ? ! Ils en veulent « toujours plus » ! Ils sont « addicts » ! Donc ce sont des véritables « pauvres d’esprit » ! Et donc les cieux leur sont grand-ouverts ! C. Q. F. D. !</span></p><p><em><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;"> </span></em><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">**** Les riches les plus compétitifs adoptent un autre algorithme et rajoutent : Jésus fait semblant de croire que nous sommes bêtes, que nous ne comprenons rien ! OK ! Mais c’est un double jeu, c’est destiné au peuple !</span></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">Nous ne pouvons que lui montrer que nous ne sommes pas ses dupes ! Que jouer pleinement son double jeu !</span></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;"> Nous sommes obligés de brouiller le JEU DE LA Vie en nous comportant comme si nous étions des idiots !</span></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">Un exemple concret : En 2005, le Bilan sur le génome, nous avons fait comme si nous n’avions pas entendu son message ! Nous l’avons même enterré !</span></p><p><strong><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">En tant que « pauvres d’ ‘esprit », « d’inconscients faisant n’importe quoi », nous sommes sûrs d’être pardonnés : (Luc, XXIII, 34 Et Jésus disait : « Père, pardonnez-leur, car ils ne savent pas ce qu'ils font. »)</span></strong></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #00b0f0;"> <strong>Et VOILA MA PUCE !</strong></span></p><p><strong><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #00b0f0;">VOILA POURQUOI LES RICHES ONT BONNE CONSCIENCE !</span></strong></p><p><em><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">Amen</span></em></p><p><span style="color: #202222; font-family: 'Times New Roman', serif;"><span style="font-size: 16px;"><em>Xyzabcd ....</em></span></span></p><p><strong><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #00b0f0;">N. B. Ce billet va être présenté à plusieurs médias sous la forme d’une proposition formidable, consensuelle !</span></strong></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">Ces journalistes pourraient contribuer à l’installation durable de la PAIX SOCIALE !</span></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">Et en concordance avec la philosophie jupitérienne du « ET-ET » ! ! !</span></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">Ne serait-ce pas formidable ? ! N’obtiendraient-ils/elles pas une promotion, à commencer par la légion d’honneur pour « Services rendus ... »</span></p><p><strong><em><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">Avec cette démystification religieuse, tous les chrétiens, qu’ils soient riches ou pauvres, x ou y ou z, ne pourraient-ils pas se retrouver et prier ensemble chaque dimanche matin lors de la messe paroissiale ?</span></em></strong></p><p><em><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">Ce billet s’adressant aux chrétiens, le masculin a eu priorité, of course ! « Rendons à César ce qui appartient à César ; et à Dieu ce qui est à Dieu » ! ! !</span></em></p><p><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;">,</span></p><p><em><span style="font-size: 12.0pt; font-family: 'Times New Roman','serif'; color: #202222;"> </span></em></p><p> </p>
MILIQUEhttp://aumagmapresentdelecriture.hautetfort.com/about.htmlCOMBAT CRÉPUSCULAIRE 1tag:aumagmapresentdelecriture.hautetfort.com,2017-10-24:59919552017-10-24T08:50:00+02:002017-10-24T08:50:00+02:00 COMBAT CRÉPUSCULAIRE 1 Est-il possible de...
<p style="text-align: center;"><img id="media-5710272" style="margin: 0.7em 0px;" title="" src="http://aumagmapresentdelecriture.hautetfort.com/media/00/02/1619176493.jpg" alt="au magma présent de l'écriture," /></p><p style="text-align: center;"> </p><p style="margin-bottom: 0cm; text-align: center;"><span style="font-family: arial black,sans-serif; font-size: 18pt; color: #008000;"><strong>COMBAT CRÉPUSCULAIRE</strong></span></p><p style="margin-bottom: 0cm; text-align: center;"><span style="font-family: arial black,sans-serif; font-size: 14pt;"><strong><span style="font-size: 18pt; color: #008000;"> 1</span><br clear="none" /></strong></span></p><p style="margin-bottom: 0cm; text-align: center;"> </p><p style="margin-bottom: 0cm; text-align: center;"><span style="font-family: arial black,sans-serif; font-size: 14pt;"><strong>Est-il possible de supporter l'insupportable?</strong></span></p><p style="margin-bottom: 0cm; text-align: center;"> </p><p style="margin-bottom: 0cm; text-align: center;"><span style="font-family: arial black,sans-serif; font-size: 14pt;"><strong>Même si chacun croit mourir a la disparition d'aimés,</strong></span></p><p style="margin-bottom: 0cm; text-align: center;"><span style="font-family: arial black,sans-serif; font-size: 14pt;"><strong>Celle de son père lui impose son insoutenable présence.</strong></span></p><p style="margin-bottom: 0cm; text-align: center;"> </p><p style="margin-bottom: 0cm; text-align: center;"><span style="font-family: arial black,sans-serif; font-size: 14pt;"><strong>Révolte contre la vulgaire précarité de la vie,</strong></span></p><p style="margin-bottom: 0cm; text-align: center;"><span style="font-family: arial black,sans-serif; font-size: 14pt;"><strong>Insignifiance lourde des vétilles du quotidien.</strong></span></p><p style="margin-bottom: 0cm; text-align: center;"><span style="font-family: arial black,sans-serif; font-size: 14pt;"><strong>Échanges intermittents, analyses dérisoires,</strong></span></p><p style="margin-bottom: 0cm; text-align: center;"><span style="font-family: arial black,sans-serif; font-size: 14pt;"><strong>Contraintes terriblement oppressantes,</strong></span></p><p style="margin-bottom: 0cm; text-align: center;"><span style="font-family: arial black,sans-serif; font-size: 14pt;"><strong>Absence de réciprocoté, impasse personnelle,</strong></span></p><p style="margin-bottom: 0cm; text-align: center;"><span style="font-family: arial black,sans-serif; font-size: 14pt;"><strong>Irrésistible fatalité à l'enlisement progressif</strong></span></p><p style="margin-bottom: 0cm; text-align: center;"><span style="font-family: arial black,sans-serif; font-size: 14pt;"><strong>Dans les sables mouvants de la nuit éternelle,</strong></span></p><p style="margin-bottom: 0cm; text-align: center;"><span style="font-family: arial black,sans-serif; font-size: 14pt;"><strong>Tel à été pour lui l'âpre combat crépusculaire</strong></span></p><p style="margin-bottom: 0cm; text-align: center;"><span style="font-family: arial black,sans-serif; font-size: 14pt;"><strong>Qui s'est achevée en cette journée de printemps.</strong></span></p><p style="margin-bottom: 0cm; text-align: center;"> </p><p style="margin-bottom: 0cm; text-align: center;"><span style="font-family: arial black,sans-serif; font-size: 14pt;"><strong>Entendez-le hurler sa rage douloureuse!</strong></span></p><p style="margin-bottom: 0cm; text-align: center;"><span style="font-family: arial black,sans-serif; font-size: 14pt;"><strong>Il cherche désormais un sens a son néant</strong></span></p><p style="margin-bottom: 0cm; text-align: center;"><span style="font-family: arial black,sans-serif; font-size: 14pt;"><strong>En venant au près de l'excès et de l'insensé.</strong></span></p><p style="margin-bottom: 0cm; text-align: center;"><span style="font-family: arial black,sans-serif; font-size: 14pt;"><strong>(A SUIVRE...)</strong></span></p><p style="margin-bottom: 0cm; text-align: center;"> </p><p style="margin-bottom: 0cm; text-align: center;"><span style="font-family: arial black,sans-serif; font-size: 14pt;"><strong>P. MILIQUE</strong></span></p>
galaventhttp://regardssurunevissansfin.hautetfort.com/about.htmlLes moines volantstag:regardssurunevissansfin.hautetfort.com,2017-06-03:59504112017-06-03T07:43:00+02:002017-06-03T07:43:00+02:00 Bien sûr ce ne sont pas des moines, mais ils volent entre les barres :
<p><span style="font-size: 12pt;">Bien sûr ce ne sont pas des moines, mais ils volent entre les barres :</span></p><p style="text-align: center;"><br /><br /><br /><br /></p>
ulm occasionshttp://www.vf-aero.com/about.htmlVF-Aéro : pas d'ULM ce week-end ...tag:www.vf-aero.com,2016-09-18:58492812016-09-18T10:22:48+02:002016-09-18T10:22:48+02:00 Après une météo maussade ce samedi , le brouillard de ce matin dominical...
<p>Après une météo maussade ce samedi , le brouillard de ce matin dominical semble annoncer un soleil pour cet après-midi .</p><p>Donc , on envisage un déplacement à Merville , par la route , pour le Meeting aérien avec la Patrouille de France et bien d'autres activités .</p><p style="text-align: center;"><a href="http://www.vf-aero.com/media/01/02/366394938.jpg" target="_blank"><img id="media-5457717" style="margin: 0.7em 0;" title="" src="http://www.vf-aero.com/media/01/02/3409438557.jpg" alt="13510773_1224252544282291_2820865965854405430_n.jpg" /></a></p><p style="text-align: center;">Bon week-end sous le soleil du Nord !</p>
galaventhttp://regardssurunevissansfin.hautetfort.com/about.htmlChine, toujours inattenduetag:regardssurunevissansfin.hautetfort.com,2015-11-10:57125082015-11-10T07:21:00+01:002015-11-10T07:21:00+01:00 https://www.youtube.com/watch?v=8oqPR5-GLuA L'homme ne serait-il...
<p style="text-align: left;">https://www.youtube.com/watch?v=8oqPR5-GLuA</p><p style="text-align: center;"><br /><iframe width="480" height="270" src="https://www.youtube.com/embed/8oqPR5-GLuA?feature=oembed" frameborder="0" allowfullscreen="allowfullscreen"></iframe></p><p style="text-align: center;"><span style="font-size: 10pt;">L'homme ne serait-il qu'une infime particule dans un monde en suspension ?</span><br /><br /><span style="font-size: 12pt;">Et n'oubliez pas :</span><br /><br /></p><p style="text-align: center;"><img id="media-5208207" style="margin: 0.7em 0;" title="" src="http://regardssurunevissansfin.hautetfort.com/media/01/02/2281834325.jpg" alt="chine,spectacle,puissance,démonstration,événement" width="551" height="781" /></p>
Xavier JASSUhttp://lapinos.hautetfort.com/about.htmlMathématiquestag:lapinos.hautetfort.com,2015-09-07:56805032015-09-07T10:04:22+02:002015-09-07T10:04:22+02:00 On empruntera pour démontrer que dieu n'existe pas le même raisonnement que...
<p style="text-align: justify;"><strong>On empruntera pour démontrer que dieu n'existe pas le même raisonnement que pour démontrer qu'il existe. C'est une propriété des mathématiques de pouvoir faire la démonstration théorique d'une chose et de son contraire.</strong></p><p style="text-align: justify;"><strong>Un mathématicien qui perd le contact avec la nature se retrouvera vite dans la position d'un aliéné mental, de postuler comme vérité première que la vérité n'existe pas.</strong></p><p style="text-align: justify;"><strong>Affirmer la supériorité des mathématiques modernes sur les mathématiques anciennes des Egyptiens revient à affirmer la supériorité de la folie du malade sur la raison du médecin. Entre Pythagore et Einstein, le choix est vite fait de la science la mieux établie.</strong></p>
Olivier Leguayhttp://www.inclassablesmathematiques.fr/about.htmlLes 100 types de démonstrations mathématiquestag:www.inclassablesmathematiques.fr,2015-02-27:48856012015-02-27T15:51:00+01:002015-02-27T15:51:00+01:00 C'est un article à prendre au second degré qui permettra à chaque étudiant...
<p><strong>C'est un article à prendre au second degré qui permettra à chaque étudiant de se sortir d'un mauvais vent...<br /></strong></p><p><img src="http://www.inclassablesmathematiques.fr/media/00/00/351445482.jpg" alt=""/></p><p style="text-align: center;"><strong>Article à prendre au second degré!</strong></p><p><span style="text-decoration: underline;"> </span></p><p><span style="text-decoration: underline;">Démonstration par ajout d'une constante:</span></p><p>2=1 si nous ajoutons une constante C telle que 2=1+C</p><p> </p><p><span style="text-decoration: underline;">Démonstration par axiome:</span></p><p>Choisissez un axiome A tel que la proposition P que vous essayez de démontrer soit vraie. Ainsi toute déclaration S qui contredit P est fausse. Donc P est vraie. CQFD.</p><p> </p><p><span style="text-decoration: underline;">Démonstration en altérant ou en détruisant la prémisse originale (ou la démonstration)</span></p><p>A=1 et B=1<br /><em>[Longue liste de déclarations confuses]<br /></em><em>[Quelque part en précisant que B = 2, recouvrir la définition précédente]<br /></em><em>[Une longue liste d'autres déclarations]<br /></em>A + B = 3</p><p>Fonctionne mieux avec les démonstrations longues.</p><p><span style="text-decoration: underline;">Démonstration par analogie.</span><br /><br />Esquissez une analogie médiocre.<br />Dites que vous possédez deux vaches.<br />L'une d'entre elles est en fait un taureau.<br />1+1=3 après la période de gestation.</p><p> </p><p><span style="text-decoration: underline;">Démonstration par délégation</span></p><p>La démonstration du cas général est laissée en exercice au lecteur.</p><p> </p><p>Toutes les autres types de démonstrations, aussi farfelues les unes que les autres à l'adresse suivante:</p><p><a href="http://uncyclopedia.wikia.com/wiki/Proof">http://uncyclopedia.wikia.com/wiki/Proof</a></p><p> Voir aussi en français:</p><p><a href="http://desencyclopedie.wikia.com/wiki/Preuve" target="_blank">http://desencyclopedie.wikia.com/wiki/Preuve</a></p><p> </p>
Xavier JASSUhttp://lapinos.hautetfort.com/about.htmlLe calcul de Dieutag:lapinos.hautetfort.com,2013-07-12:51196112013-07-12T00:30:54+02:002013-07-12T00:30:54+02:00 "(...) Et enfin, après que les raisons par lesquelles je prouve qu'il y a...
<p style="text-align: justify;"><strong>"(...) Et enfin, après que les raisons par lesquelles je prouve qu'il y a un Dieu et que l'âme diffère d'avec le corps, auront été portées jusques au point de clarté et d'évidence, où je m'assure qu'on peut les conduire, qu'elles devront être tenues pour de très exactes démonstrations, vouloir déclarer cela même, et le témoigner publiquement, je ne doute point, dis-je, que si cela se fait, toutes les erreurs et fausses opinions qui ont jamais été touchant ces deux questions, ne soient bientôt effacées de l'esprit des hommes (...) et il n'y aura plus personne qui ose douter de l'existence de Dieu et de la distinction réelle et véridique de l'âme d'avec le corps."</strong></p><p style="text-align: justify;"><strong></strong>(R. Descartes, "Méditations métaphysiques")</p><p style="text-align: justify;">- On peut dire que le propos de Descartes, ancien élève des jésuites et supposé père du scepticisme et du rationalisme "à la française", ne manque pas de militantisme, puisque celui-ci n'hésite pas à conclure catégoriquement, avant même d'avoir jeté les bases de sa démonstration théorique.</p><p style="text-align: justify;">- Ces quelques phrases permettent de situer le niveau de démence de la science et de l'art baroques. On ne peut comprendre Shakespeare, si on ne comprend que cet esprit fidèle à la parole divine a voulu par charité s'opposer au "génie baroque".</p><p style="text-align: justify;">- La pensée de Descartes constitue une pierre d'achoppement dans la pensée scientifique moderne dite "rationaliste" ; celle-ci accorde à Descartes d'être l'un des pères fondateurs de la science moderne, en raison de l'onction scientifique qu'elle accorde aux calculs mathématiques algébriques, et aux dogmes qui en découlent (par dogme j'entends une loi physique dont la preuve expérimentale n'est pas recueillie, ou seulement par des phénomènes relatifs.) ; en revanche, le catéchisme républicain pose en principe la neutralité "laïque" de la science moderne. Et c'est là l'achoppement : il faut dissimuler par tous les moyens le débordement de foi des pères baroques de la science dite "rationnelle".</p><p style="text-align: justify;">- On remarque le leitmotiv animiste de Descartes, qui semble juger au moins aussi importante la preuve de la séparation du corps et de l'âme que celle de l'existence de dieu. Stratégie ou incompétence de la part de Descartes, il déclare s'inscrire dans la suite de savants qui ont au contraire démontré que cette division est la plus improbable : Aristote et Bacon. Cet article de foi découle de la métaphysique égyptienne, puisqu'il s'agit de remettre ici la bonne étiquette sur les méditations de Descartes. On peut qualifier cette métaphysique de totalitaire - un juif ou un chrétien le fera -, puisqu'elle répond entièrement au besoin d'organisation politique et d'ordre social.</p><p style="text-align: justify;">C'est donc sur le plan social que la croyance dans l'âme séparée est requise, par conséquent comme un degré d'adhésion inconscient minimum au corps social. Psychanalystes et médecins de l'âme modernes prorogent les données de la casuistique cléricale ancienne. Comme les juristes catholiques et les faux savants de la même espèce (Galilée) inventèrent "l'au-delà", la psychanalyse se hâta d'inventer "l'en-deçà" pour pallier les affres existentiels de la bourgeoisie européenne, en remplacement du purgatoire.</p><p style="text-align: justify;">- Descartes rend ainsi le service d'apposer le double-sceau chrétien et scientifique sur une philosophie naturelle des plus nébuleuses. "Dieu" a été remplacé depuis par l'Etat, dont on pourrait démontrer avec la même assurance que Descartes, qu'étant tout à fait providentiel, il doit nécessairement être d'essence sacrée ou divine ; dieu est mort, donc, au grand dam de Napoléon ou Nietzsche, mais le médium scientifique à la manière de Descartes a subsisté. Il y a, en soi, dans les mathématiques algébriques, une propension au dogmatisme et une fermeture à l'esprit critique. Il n'est d'ailleurs aucun sérieux défenseur de l'esprit critique qui ne se passe de divulguer que les élites ont le moins intérêt à ce que cette sorte d'esprit se répande.</p><p style="text-align: justify;">Seul le point de vue d'Einstein sur l'univers n'est pas relatif, tout le reste l'est, donc ses syllogismes ont valeur d'oracle divin. Ce qu'il faut démontrer, pour l'homme d'élite moderne, est déjà prouvé d'avance. C'est la marque de l'argument de la "modernité" d'être une pure rhétorique, appuyée sur des moyens techniques de propagande et de coercition extraordinaires. A tel point que la pensée française est une des plus éloignées de l'argument de la modernité. Ce que le Français réclame habituellement, c'est le progrès : et comme le progrès n'est nulle part, mais des gadgets modernes partout comme au Japon, il rejette cette doctrine de styliste boche. A quoi bon la téléphonie mobile et le GPS, si c'est pour se coltiner Houellebecq au lieu d'Homère ?</p><p style="text-align: justify;">Descartes est bel et bien l'un des pères fondateurs de la religion moderne.</p>
Nigritellehttp://www.mduvellier.com/about.htmlInvitation.tag:www.mduvellier.com,2012-10-14:48647572012-10-14T11:00:00+02:002012-10-14T11:00:00+02:00 Je participe en tant que calligraphe à l'exposition des Amis de la Nature à...
<p>Je participe en tant que calligraphe à l'exposition des Amis de la Nature à Evere. Je ferai une petite démonstration de calligraphie lors de la journée des artistes, le dimanche 04 novembre après-midi.</p><p>Vous êtes cordialement invités!</p><p style="text-align: center;"><a href="http://www.mduvellier.com/media/02/00/2890099812.JPG" target="_blank"><img id="media-3790134" style="margin: 0.7em 0;" title="" src="http://www.mduvellier.com/media/02/00/394243551.JPG" alt="Vernissage.JPG" /></a></p>
MILIQUEhttp://aumagmapresentdelecriture.hautetfort.com/about.htmlLA MINUTE NECESSAIRE DE MONSIEUR CYCLOPEDE 14 ”EVALUONS LE QUOTIENT INTELLECTUEL DE BEETHOVENtag:aumagmapresentdelecriture.hautetfort.com,2012-05-09:47097072012-05-09T22:59:00+02:002012-05-09T22:59:00+02:00 Evaluons le quotient intellectuel de Beethoven La...
<p style="text-align: center;"><iframe width="425" height="319" frameborder="0" marginheight="0" marginwidth="0" scrolling="no" src="http://www.ina.fr/video/embed/CPC83050801/1019544/f6d4ef1e5d2a7f5359b350d693da3394/425/319/0"></iframe> </p><div class="hab-qr" style="text-align: center;"><h2 class="titre-propre"><span style="color: #333333; font-family: arial black,avant garde; font-size: large;"><strong>Evaluons le quotient intellectuel de Beethoven</strong></span></h2><p><span style="color: #333333; font-family: arial black,avant garde; font-size: large;"><strong><br /></strong></span></p><span style="color: #0000ff; font-family: arial black,avant garde; font-size: small;"><strong>La minute nécessaire de Monsieur Cyclopède - 26/03/1983 - 01min20s</strong></span><br /><br /></div><div class="bas" style="text-align: center;"> </div><div class="container-global-qr" style="text-align: center;"><div class="container-qr"><p><span style="color: #008080; font-family: arial black,avant garde; font-size: medium;"><strong>Pierre DESPROGES demontre que Beethoven n'était pas sourd, mais idiot.</strong></span></p><p> </p><div class="bas"> </div></div></div><div class="container-global-qr"><div class="container-qr"><div class="hab-qr"><h3 class="titre-propre" style="text-align: center;"><span style="color: #333333; font-family: arial black,avant garde; font-size: small;"><strong>Production</strong></span></h3><fieldset><span style="color: #333333; font-family: arial black,avant garde; font-size: small;"><strong><label>producteur ou co-producteur:</label> </strong></span><div><span style="color: #333333; font-family: arial black,avant garde; font-size: small;"><strong> Agence, Paris : France 3 </strong></span></div></fieldset><br /> <br /><h3 class="titre-propre" style="text-align: center;"><span style="color: #333333; font-family: arial black,avant garde; font-size: small;"><strong>Générique</strong></span></h3><fieldset><span style="color: #333333; font-family: arial black,avant garde; font-size: small;"><strong><label>réalisateur:</label></strong></span><div><span style="color: #333333; font-family: arial black,avant garde; font-size: small;"><strong> Fournier, Jean Louis </strong></span></div></fieldset><fieldset class="dernier"><span style="color: #333333; font-family: arial black,avant garde; font-size: small;"><strong><label>interprète:</label></strong></span><div style="text-align: center;"><span style="color: #333333; font-family: arial black,avant garde; font-size: small;"><strong> Desproges, Pierre </strong></span></div></fieldset></div><div class="bas"> </div></div></div>
MILIQUEhttp://aumagmapresentdelecriture.hautetfort.com/about.htmlLES BODIN'S EN SOLEX !tag:aumagmapresentdelecriture.hautetfort.com,2012-03-31:46599152012-03-31T22:45:00+02:002012-03-31T22:45:00+02:00 LES BODIN'S EN SOLEX ! Les motards des banlieues n'ont rien inventé...
<p style="text-align: center;"><iframe width="560" height="315" src="http://www.youtube.com/embed/c4B87WsnPaI" frameborder="0" allowfullscreen=""></iframe></p><h1 id="watch-headline-title" style="text-align: center;"><span id="eow-title" title="Les Bodin's en solex" dir="ltr">LES BODIN'S EN SOLEX !</span></h1><p style="text-align: center;"><span style="color: #339966; font-family: arial black,avant garde; font-size: medium;"><strong>Les motards des banlieues n'ont rien inventé : la campagne a été précurseur !!</strong></span><br /><span style="color: #339966; font-family: arial black,avant garde; font-size: medium;"><strong>Démonstration, et en solex je vous prie!</strong></span></p><p style="text-align: center;"><span style="color: #000080; font-family: arial black,avant garde; font-size: small;"><strong>Découvrez l'univers déjanté des Bodin's sur <a class="yt-uix-redirect-link" title="http://wizdeo.com/s/les_bodins" dir="ltr" href="http://www.youtube.com/redirect?q=http%3A%2F%2Fwizdeo.com%2Fs%2Fles_bodins&session_token=6JXFUJdWfjMRflnKMaA1HFgBOJx8MTMzMjgzNDQ5MkAxMzMyNzQ4MDky" rel="nofollow" target="_blank" data-redirect-href-updated="true"><span style="color: #000080;">http://wizdeo.com/s/les_bodins</span></a></strong></span></p>
Olivier Leguayhttp://www.inclassablesmathematiques.fr/about.htmlPreuves sans mots...tag:www.inclassablesmathematiques.fr,2011-07-21:37196052011-07-21T19:52:22+02:002011-07-21T19:52:22+02:00 Avez-vous des exemples de preuves sans mots comme l'illustration suivante,...
<p><span style="font-family: comic sans ms,sans-serif; font-size: small;">Avez-vous des exemples de preuves sans mots comme l'illustration suivante, que je trouve excellente?</span> </p><p style="text-align: center;"><img style="margin: 0.7em 0px;" src="http://img31.imageshack.us/img31/919/triangle1y.png" alt="triangle1y.png" /></p><p style="text-align: center;"><img id="media-3129614" style="margin: 0.7em 0px;" title="" src="http://www.inclassablesmathematiques.fr/media/00/00/3650118671.png" alt="sans-titre.png" /></p><p> </p><p><span style="font-family: comic sans ms,sans-serif; font-size: small;"> A chaque couple de la dernière ligne correspond un unique point jaune... d'où le résultat.</span></p>
Olivier Leguayhttp://www.inclassablesmathematiques.fr/about.htmlThéorème du triangle eutrigonetag:www.inclassablesmathematiques.fr,2011-07-20:37186512011-07-20T23:01:00+02:002011-07-20T23:01:00+02:00 Je n'ai pas trouvé de traduction en français pour un triangle possédant un...
<p style="text-align: justify;"><span style="font-size: small;">Je n'ai pas trouvé de traduction en français pour un triangle possédant un angle de 60°. <br /></span></p><p style="text-align: justify;"><span style="font-size: small;">Un peu comme le triangle rectangle qui dispose de l'un des théorèmes les plus beaux des mathématiques, le triangle eutrigone, dont l'angle de 60° remplace celui de 90°, possède une propriété très analogue.</span></p><p style="text-align: justify;"><span style="font-size: small;">Si l'on trace des triangles équilatéraux sur chacun des cotés du triangle eutrigone, son aire est égale à la somme de celles des deux triangles adjacents à l'angle de 60° moins l'aire du troisième!</span></p><p style="text-align: justify;"><span style="font-size: small;">Belle propriété non?</span></p><p><object width="640" height="510" data="http://www.youtube.com/v/7aKMa2v6u78?version=3&hl=fr_FR" type="application/x-shockwave-flash"><param name="wmode" value="transparent"></param><param name="wmode" value="transparent" /><param name="allowFullScreen" value="true" /><param name="allowscriptaccess" value="always" /><param name="src" value="http://www.youtube.com/v/7aKMa2v6u78?version=3&hl=fr_FR" /><param name="allowfullscreen" value="true" /></object></p><p> </p><p> <span style="font-size: small;">Vous trouverez l'applet GeoGebra pour constater la propriété <a href="http://autour-de-geogebra.blogspot.com/2011/07/le-theoreme-du-triangle-eutrigone.html" target="_blank">ICI</a>.</span></p><p><span style="font-size: small;"> Pour la démonstration, elle est du niveau de première S !</span></p><blockquote><p style="text-align: justify;"><span style="font-size: small;">The area of an equilateral triangle with side <span class="InlineFormula"><img src="http://demonstrations.wolfram.com/TheEutrigonTheorem/HTMLImages/index.en/4.gif" alt="" align="absmiddle" /></span> is <span class="InlineFormula"><img src="http://demonstrations.wolfram.com/TheEutrigonTheorem/HTMLImages/index.en/5.gif" alt="" align="absmiddle" /></span>. By the law of sines, the area of a eutrigon is <span class="InlineFormula"><img src="http://demonstrations.wolfram.com/TheEutrigonTheorem/HTMLImages/index.en/6.gif" alt="" align="absmiddle" /></span>. The law of cosines gives <span class="InlineFormula"><img src="http://demonstrations.wolfram.com/TheEutrigonTheorem/HTMLImages/index.en/7.gif" alt="" align="absmiddle" /></span>, because <span class="InlineFormula"><img src="http://demonstrations.wolfram.com/TheEutrigonTheorem/HTMLImages/index.en/8.gif" alt="" align="absmiddle" /></span>. Multiplying by <span class="InlineFormula"><img src="http://demonstrations.wolfram.com/TheEutrigonTheorem/HTMLImages/index.en/9.gif" alt="" align="absmiddle" /></span> gives the statement of the theorem.</span></p></blockquote><p style="text-align: justify;"><span style="font-size: small;"> Voir le site de <a href="http://demonstrations.wolfram.com/TheEutrigonTheorem/" target="_blank"><span style="color: #ff6600;">Wolfram</span></a>.</span></p><p> </p>
Olivier Leguayhttp://www.inclassablesmathematiques.fr/about.htmlLes mathématiques comme langagetag:www.inclassablesmathematiques.fr,2011-02-28:31235712011-02-28T20:09:00+01:002011-02-28T20:09:00+01:00 Les mathématiques se construisent avec deux modes de raisonnement...
<p style="text-align: justify;"><span style="font-size: small;">Les mathématiques se construisent avec deux modes de raisonnement dissemblables: un coté "soft" abordant les idées et les analogies et un coté "hard", concernant les vérifications. Le coté "hard" est le plus facile à cerner. Il concerne en premier lieu, les preuves "formelles", composée chacunes d'une série d'assertions. Un mathématicien peut vérifier si la démonstration est correcte en la parcourant, pas à pas, et en testant si chacune des étapes suit la précédente à partir de faits déjà démontrés de façon correcte.</span></p><p style="text-align: justify;"><span style="font-size: small;">Le coté "soft" est le moins facile à décrire. Il est formé d'intuitions sur les objets formels construits dans les démonstrations mathématiques; d'idées qu'une partie des mathématiques peut correspondre de façon analogique à une autre partie des mathématiques; ou aussi d'analogies entre les objets mathématiques et le monde physique.</span></p><p style="text-align: justify;"><span style="font-size: small;">Par exemple, si vous voulez montrer que deux objets sont similaires, il est parfois plus facile de montrer indirectement qu'ils le sont tous deux à un troisième.</span></p><p style="text-align: justify;"><span style="font-size: small;">Le langage que les mathématiciens utilisent dans les livres et les articles comble le fossé entre ces deux modes de raisonnement. Il est difficile, pointilleux et présente des démonstrations rigoureuses; mais il tente aussi de transmettre subtilement, d'éphémères et intangibles idées "soft" à l'intérieur de sa constitution "hard", au travers d'analogies, d'allusions et d'autres moyens indirects. Ces idées "soft" sont rarement exposées en quelques mots; on ne trouve que très rarement une phrase qui peut résumer à elle seule toutes les idées contenues dans une preuve. Mais un texte mathématique technique et précis peut construire lentement une toile d'éphémères et intangibles concepts par un choix pertinent de mots, traçant des parallèles entre les différentes parties de mathématiques et des sens similaires. Ainsi, un homme mathématicien peut-il se laisser conduire par le texte jusqu'aux idées sous-jacentes. Et, in fine, ce sont ces idées "soft" qui constituent la matière. Le contenu "hard" est important car il rend objectif et vérifiable, mais ce sont les idées "soft" qui sont le centre des mathématiques, ce que les mathématiciens recherchent</span><span style="font-size: small;">.</span></p><p style="text-align: justify;"> </p><p style="text-align: center;"><span style="font-size: small;"> </span><a title="001009biology-linguistic-computer de cesarharada.com, sur Flickr" href="http://www.flickr.com/photos/worldworldworld/3313319143/"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://farm4.static.flickr.com/3619/3313319143_3a2f42b4b4_z.jpg" alt="001009biology-linguistic-computer" width="640" height="480" /></a>Photo: <a href="http://www.flickr.com/photos/worldworldworld/3313319143/" target="_blank">Cesarharada.com</a></p><p style="text-align: justify;"><span style="font-size: small;">En raison de cette nature duale, le langage des mathématiques présente une remarquable opportunité pour les ordinateurs. Les ordinateurs sont très forts du coté "hard" mais très mauvais du coté "soft". Le langage des publications mathématiques, qui capture le "soft" au milieu du "hard", nous donne une opportunité unique de permettre aux ordinateurs d'approcher le raisonnement "soft". Malheureusement, l'approche actuelle des ordinateurs vers les mathématiques, est celle de programmer des programmes de preuve de théorèmes, ne faisant rien d'autre que ça. Du point de vue des mathématiciens, de tels programmes ont trois déficiences. Premièrement, l'interaction avec eux implique l'utilisation de langages impénétrables, très éloignés du langage normal des mathématiques. Deuxièmement, les ordinateurs sont très mauvais en mathématiques - ils ne peuvent pas vérifier tous les sous-niveaux de preuve sans une assistance humaine. Troisièmement, ils ont seulement la capacité de faire des mathématiques "hard"; dans de très rares cas où ils prouvent de nouveaux résultats, ils les ont prouvés en n'ajoutant aucune idée nouvelle. Ce type de preuve n'intéresse guère les mathématiciens.</span></p><p><span style="font-size: small;"> </span><a title="001009biology-linguistic-computer de cesarharada.com, sur Flickr" href="http://www.flickr.com/photos/worldworldworld/3313319143/"><span style="font-size: small;"> </span></a><a title="001015biology-linguistic-computer de cesarharada.com, sur Flickr" href="http://www.flickr.com/photos/worldworldworld/3313321093/"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://farm4.static.flickr.com/3383/3313321093_b46beaabf0_z.jpg" alt="001015biology-linguistic-computer" width="640" height="480" /></a></p><p style="text-align: justify;"><span style="font-size: small;">Ces trois déficiences sont en fait liées. Les programmes de preuve de théorème sont inefficaces en mathématiques précisément parce qu'ils ne sont pas en mesure de contenir d'idées "soft". Et les idées "soft" ne sont pas explicitement dites, mais implicitement absorbées dans le langage usuel des mathématiciens utilisé quotidiennement. Les humains semblent dans l'incapacité d'extraire de telles idées à partir langages exotiques et appauvris utilisés dans les programmes de preuves courants - mais ce n'est pas une raison pour penser que les ordinateurs sont dans l'incapacité de le faire. L'actuel langage "hard" nous donne une prise très imparfaite sur les idées "soft" sous-jacentes; mais c'est encore la meilleure prise que nous ayons. </span></p><p style="text-align: justify;"><span style="font-size: small;">Pour les raisons qui viennent d'être expliquées, ces trois premiers objectifs de <a href="http://people.pwf.cam.ac.uk/mg262/" target="_blank"><span style="color: #ff6600;">la thèse de Mohan Ganesalingam</span></a> (dont c'est l'introduction) sont: de construire un langage informatique qui est très proche du langage réel des mathématiques, d'écrire le corps des mathématiques dans ce langage en y incluant les idées "soft" pour un mathématicien humain, et permettant à l'ordinateur d'extraire quelques unes de ces idées - même si ce n'est pas aussi bien qu'un humain, l'ordinateur pourra quand même vérifier des preuves écrites en langage mathématique normal.</span></p><p style="text-align: justify;"><span style="font-size: small;">La difficulté n'est pas tellement celle liée aux ordinateurs. Écrire des programmes est plutôt facile, mais savoir ce qu'ils doivent faire est difficile. Avant de construire un langage informatique ressemblant au langage réel des mathématiciens, il est nécessaire de le comprendre extrêmement bien; il n'est pas suffisant d'en avoir une simple idée intuitive, un sentiment subjectif du langage mathématique que les mathématiciens ont, mais une analyse formelle, objective et précise en tout point.</span></p><p style="text-align: justify;"> </p><p style="text-align: center;"><span style="font-size: small;"><a title="His Hobby de justmakeit, sur Flickr" href="http://www.flickr.com/photos/rachelpasch/2289933353/"><img style="display: block; margin-left: auto; margin-right: auto;" src="http://farm4.static.flickr.com/3014/2289933353_e00599c6a3_z.jpg" alt="His Hobby" width="640" height="457" /></a></span>Photo: <a href="http://www.flickr.com/photos/rachelpasch/" target="_blank">justmakeit</a></p><p style="text-align: justify;"> </p><p style="text-align: justify;"><span style="font-size: small;">Lorsque l'on fait des recherches pour une telle analyse, la science informatique existante et les analyses de langages informatiques ne sont guère utiles; l'intégralité des langages construits par l'homme analysés par les ordinateurs sont extrêmement simples comparés aux mathématiques qui ont été développées au travers des siècles; notre meilleur espoir est de se tourner vers les linguistiques modernes qui visent à mettre à nu les riches structures des langages humains complexes. Les mathématiques diffèrent suffisamment des langages humains pour que très peu de linguistique théorique puisse être directement utilisée; la majorité des matériaux doit être reconstruite. Mais les linguistiques, donnent au moins, le cadre général d'une analyse formelle d'un langage; cela donne l'état d'esprit et le point de départ. </span></p><p style="text-align: justify;"><span style="font-size: small;">On présente souvent les mathématiques comme étant abstraites et incompréhensibles avec une structure chaotique:</span></p><p> </p><p style="text-align: center;"><img id="media-2915218" style="margin: 0.7em 0;" src="http://www.inclassablesmathematiques.fr/media/02/01/690107367.png" alt="linguistique,langue,informatique,langage,preuve,démonstration,ordinateur,programme,code" /></p><p> </p><p style="text-align: justify;"><span style="font-size: small;">Heureusement la réalité est vraiment différente. Les mathématiques sont écrites avec des phrases et des paragraphes, comme le langage écrit en général. Les phrases contiennent un mélange de mots et de symboles mathématiques. Pour comprendre le langage mathématique, il est nécessaire de comprendre quelle est la fonction des mots, quelle est celle des symboles et comment ajuster les deux.</span></p><p style="text-align: justify;"><span style="font-size: small;">Le travail est difficile car les mots et les symboles doivent avoir un seul sens déterminé. Or un mot comme "premier" peut avoir une douzaine de sens et une simple expression du type "x+y" aussi en fonction du contexte. En d'autres termes, l'ambigüité est un problème. Il est nécessaire d'avoir une théorie qui élimine toutes ces ambigüités et qui permet de prédire quel sens est à privilégier dans un contexte donné. Il n'existe cependant aucune technique linguistique permettant d'éliminer toutes les ambigüités en mathématiques. Les nombres se comportent parfois comme s'ils n'en étaient pas, parfois comme s'ils en étaient et des objets qui ne le sont pas se comportent parfois aussi comme s'ils en étaient! Ainsi la notion de type n'est pas pertinente. Il faut clarifier cette notion de type qui se trouve enchevêtrée en mathématiques.</span></p><p style="text-align: justify;"><span style="font-size: small;">J'arrête ici de poursuivre la traduction de <a href="http://www.hautetfort.com/admin/posts/C:Documents and SettingsOlivierBureauA effacermaths.png" target="_blank">l'introduction de la thèse</a> à la jointure de l'informatique, de la linguistique et des mathématiques. J'ai pris beaucoup de plaisir à faire cette traduction sur un sujet émergeant. J'espère qu'il en aura été de même pour vous. J'espère aussi ne pas avoir commis trop de contresens mais comme à l'accoutumée, les liens vers le texte original sont disponibles et permettent de s'y référer. Je n'ai pas poursuivi plus avant la lecture de la thèse car mon faible niveau de mathématique et la fastidieuse lecture de l'anglais qui lui est adjoint ne me permettent guère de le faire.</span></p><p><span style="font-size: small;">Quelques liens intéressants:</span></p><p><a href="http://www.google.com/url?sa=t&source=web&cd=12&ved=0CBwQFjABOAo&url=http%3A%2F%2Fwww.arabization.org.ma%2Fdownloads%2Fmajalla%2F50%2Fdocs%2F187.doc&rct=j&q=les%20math%C3%A9matiques%20comme%20langage&ei=L9NrTaPILJDBswbf5YTkDA&usg=AFQjCNGE6lNuF06MTQU9PVQb2_VU08Uw9w&cad=rja" target="_blank">Aspects lexicaux de la langue mathématique</a></p><p><a href="http://www.srcf.ucam.org/principia/" target="_blank"><span style="color: #ff6600;">Principia Mathematica Anniversary Symposium</span></a></p>
Olivier Leguayhttp://www.inclassablesmathematiques.fr/about.htmlLe retour de la démonstrationtag:www.inclassablesmathematiques.fr,2009-07-14:22860322009-07-14T17:50:00+02:002009-07-14T17:50:00+02:00 Il était une fois... Au XVIIIème siècle, un homme fut le maître de la...
<p><span style="font-size: small;"><b>Il était une fois...</b></span></p> <p style="text-align: justify;"><span style="font-size: small;">Au XVIIIème siècle, un homme fut le maître de la mise en scène de la "démonstration", il s'appelait <a target="_blank" href="http://www.stewart-museum.org/Nollet/introang.html">l'Abbé Nollet</a>, il rendit la physique visuelle en construisant des instruments permettant sa "démonstration", en fournissant des livres d'expérience et en publiant des cours très clairement rédigés. Le commerce des instruments et des expériences de <a target="_blank" href="http://fr.wikipedia.org/wiki/Jean_Antoine_Nollet">Nollet</a> se généralisa dans toute l'Europe et les labos de physique-chimie de nos lycées témoignent encore de cette tradition scolaire de la physique expérimentale, bien marquée malgré sa mathématisation qui n'a cessé de croître.</span></p> <p> </p> <p style="text-align: justify;"> </p> <p style="text-align: justify;"><span style="font-size: small;"><b>Au XXIème siècle...</b></span></p> <p style="text-align: justify;"><span style="font-size: small;">Il est encore un peu tôt pour le dire, mais je pense que le XXIème siècle aura son Nollet à lui. Certes il ne s'agit plus de physique mais de mathématiques, d'instruments mais d'ordinateurs, la diffusion ne se fait plus au travers des livres mais les moteurs de recherches, le buzz, les codes préétablis.</span></p> <div menubottom="0" menuright="0" menutop="0" menuleft="0" activeid="-1" expanded="0" style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div><p style="text-align: justify;"><span style="font-size: small;">Ce qui est étonnant c'est qu'il s'agit d'un simple retour de balancier. Alors qu'au XVIIIème la physique devenait de plus en plus mathématisée, elle fût rendue visible, afin que rien qui ne soit supposé comme vrai ne put être "montré". Presque comme par écho, au XXème siècle, les mathématiques n'eurent de cesse de devenir de plus en plus abstraites, enterrées, invisibles et de plus en plus lointaines de toute réalité concrète, l'ordinateur vit le jour et leur permit de se faire voir. L'homme qui, de mon point de vue, incarne le mieux la "démonstration" mathématique au sens de Nollet est <a target="_blank" href="http://fr.wikipedia.org/wiki/Stephen_Wolfram">Stephen Wolfram</a>. Les plus réticents pourront certes crier à l'exploitation commerciale et à la démagogie de vouloir faire toucher du bout des doigts l'idée des hautes mathématiques par le peuple, mais une philosophie sous-jacente me parait présente, celle de ce que j'appelle "l'écologie de la transmission", mettant un écart de plus en plus faible entre les objets de savoirs parfois difficilement accessibles et les consommateurs-acteurs.</span></p> <p style="text-align: justify;"><span style="font-size: small;">Alors Wolfram met les mathématiques en scène, créé un moteur de recherche où elles sont au coeur du système et les <a target="_blank" href="http://www00.wolframalpha.com/input/?i=x^2+sin%28x%29"><span style="color: #cc99ff;">résultats visibles des recherches</span></a>, il met en ligne 5000 animations couvrant un très vaste domaine, comme nous le verrons plus loin:</span></p> <p style="text-align: center;"><a href="http://beverycool.hautetfort.com/media/00/00/2009251153.swf" target="_blank"><object height="350" width="450" data="http://beverycool.hautetfort.com/media/00/00/2009251153.swf" type="application/x-shockwave-flash"><param name="quality" value="high" /> <param name="src" value="http://beverycool.hautetfort.com/media/00/00/2009251153.swf" /></object></a></p> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <p> </p> <p style="text-align: justify;"><span style="font-size: small;">La scénarisation et la communication ne sont pas laissées au hasard, <a target="_blank" href="http://blog.wolframalpha.com/">le blog</a> permet de rendre les évolutions visibles, de faire de la pédagogie. Le monde de l'éducation ne peut rester de marbre devant une telle puissance "démonstrative" et la possibilité d'utiliser le logiciel dans sa classe pour 49 $, après avoir regardé <a target="_blank" href="http://www.wolfram.com/broadcast/screencasts/k12andcc/mathematicaineducation/">cette vidéo</a>.</span></p> <p style="text-align: justify;"><span style="font-size: small;">La diffusion n'est plus dirigée vers la noblesse comme c'était le cas au XVIIIème mais vers ceux dont le niveau socio-culturel est suffisant pour d'une part posséder un ordinateur et d'autre part l'utiliser dans ce domaine pointu.</span></p> <p style="text-align: justify;"><span style="font-size: small;"><br /></span></p> <p><span style="font-size: small;"><b>Demonstrations and counting</b></span></p> <p style="text-align: justify;"><span style="font-size: small;">Ce qui est intéressant dans le <a target="_blank" href="http://demonstrations.wolfram.com/">Demonstrations Project</a> de Wolfram, c'est l'éclectisme des sujets abordés ( je ne sais pas d'ailleurs si le mot éclectisme est suffisamment représentatif). Rien ne résiste. Tout est loin d'être du même niveau et du même intérêt, mais on sent fortement l'idée que rien dans ce monde ne peut échapper aux griffes des mathématiques, ou plutôt à la modélisation mathématique. Les mathématiques sont universelles, elles n'ont pas de pays, ni d'âge. Le modèle côtoie le concept, le ludique est à coté du professionnel, le simple est au même niveau que le complexe, le scolaire et l'historique sont ensemble. Le continu, le discret, l'aléatoire et l'itératif se tiennent la main. Les exemples suivants sont juste là pour traduire l'idée que tout est mathématisable, montrable au travers des mathématiques, les mathématiques s'externalisent comme elles sont capables de digérer à l'aide du code ce qui pouvait leur sembler externe .</span></p> <p style="text-align: justify;"><span style="font-size: small;">Les "démonstrations" suivantes sont animées et interactives. Elles peuvent donc se vivre comme expérience, ou comme spectacle. Les plus forts, les passionnés, ceux qui en feront leur métier pourront se lancer dans la compréhension des concepts si ceux-ci leur échappent ou/et dans la construction de codes de calcul.<br /></span></p> <p><span style="font-size: small;">4985 <a target="_blank" href="http://demonstrations.wolfram.com/MichaelJacksonsAntiGravityIllusion/">Mickael Jackson</a>... il fallait le trouver, mais c'est populaire !</span></p> <p><span style="font-size: small;">348 <a target="_blank" href="http://demonstrations.wolfram.com/IChing3D/">Les hexagrammes du Yi-king en 3D</a>, ça aussi il fallait y penser !</span></p> <p><span style="font-size: small;">293 <a target="_blank" href="http://demonstrations.wolfram.com/YinYang/">Le Yin et le Yang</a></span></p> <p><span style="font-size: small;">297 <a target="_blank" href="http://demonstrations.wolfram.com/GoldenSection/">Section dorée</a> ( bonjour la Grèce )</span></p> <p><span style="font-size: small;">305 <a target="_blank" href="http://demonstrations.wolfram.com/ThalesTheorem/">Le théorème de Thalès</a> ( C'est pas le même que chez nous !)</span></p> <p><span style="font-size: small;">312 <a target="_blank" href="http://demonstrations.wolfram.com/GreekNumerals/">La (laborieuse) numération grecque</a></span></p> <p><span style="font-size: small;">330 <a target="_blank" href="http://demonstrations.wolfram.com/ParabolicEnvelopeFromCongruentTriangles/">La belle construction d'une enveloppe parabolique à l'aide de triangles isocèles</a><br /></span></p> <p><span style="font-size: small;">355 <a target="_blank" href="http://demonstrations.wolfram.com/ImpossibleFrames/">Les formes impossibles</a></span></p> <p><span style="font-size: small;">368 <a target="_blank" href="http://demonstrations.wolfram.com/DelboeufIllusion/">L'illusion de Delboeuf</a><br /></span></p> <p><span style="font-size: small;">367 <a target="_blank" href="http://demonstrations.wolfram.com/CombiningFunctions/">Opérations sur les fonctions</a> ( tiens on revient un peu dans le monde de l'éducation)</span></p> <p><span style="font-size: small;">378 <a target="_blank" href="http://demonstrations.wolfram.com/RiemannSums/">Les sommes de Riemann</a></span></p> <p><span style="font-size: small;">333 <a target="_blank" href="http://demonstrations.wolfram.com/MultiplicationByAddingLogs/">Multiplier en additionnant les logarithmes</a><br /></span></p> <p style="text-align: justify;"><span style="font-size: small;">4973 <a target="_blank" href="http://demonstrations.wolfram.com/TheGeometryOfLagrangeMultipliers/">La géométrie des multiplicateurs de Lagrange</a> - ben oui dans "mathématiques", le mot "mathématiques" occupe quand même une place non négligeable, car pour ceux qui ne sont pas dans la confidence, ce que le matheux appelle des "vraies mathématiques", c'est la partie des mathématiques qui lui résite un peu ou beaucoup et dans le cas présent, je suis certain que le sujet des multiplicateurs de Lagrange doit faire pas mal l'unanimité!</span></p> <p> </p> <p><span style="font-size: small;"><b>Pour conclure</b></span></p> <p style="text-align: justify;"><span style="font-size: small;">Je dirai que j'ai bien du mal à comprendre pourquoi la France qui s'est autrefois émue et a plébiscité l'élan de la physique démonstrative de l'abbé Nollet et de ses instruments, est aujourd'hui aussi réfractaire à voir les mathématiques se révéler devant nos yeux au travers de logiciels. J'espère que cette position va s'infléchir, même si j'ai quelques doutes, je pense qu'assez rapidement les établissements scolaires devraient se doter de "vrais" laboratoires de mathématiques comme ils sont équipés en laboratoires de physique et de SVT depuis plus de 200 ans.</span></p> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div menubottom="0" menuright="0" menutop="0" menuleft="0" activeid="-1" expanded="0" style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div> <div style="display: none;" id="divCleekiAttrib"></div>
Olivier Leguayhttp://www.inclassablesmathematiques.fr/about.htmlLe séquencement du génome mathématique : la preuve formelletag:www.inclassablesmathematiques.fr,2008-11-07:18866002008-11-07T19:20:00+01:002008-11-07T19:20:00+01:00 Comment les mathématiciens prouvent-t-il un théorème ? Lorsqu'ils le...
<p style="text-align: justify;"><strong>Comment les mathématiciens prouvent-t-il un théorème ?</strong><br /> <br /> Lorsqu'ils le prouvent d'une façon traditionnelle, ils présentent les arguments les uns à la suite des autres, comme un récit. Ils s'appuient sur des résultats précédemment démontrés ( par eux ou par d'autres), ils cachent les détails dont ils sont certains que les experts qui les liront n'auront pas besoin pour les comprendre, ils prennent des raccourcis pour rendre la lecture moins ennuyeuse. <br /> La validité des arguments avancés est accordée après un examen minitieux par d'autres mathématiciens de la longue ( très longue parfois ) preuve ou au cours de discussions informelles, lors de séminaires, de cours ou après publication dans des revues spécialisées.<br /> Lorsque ces experts parviennent au coeur de la démonstration, ils affinent la lecture et généralement les erreurs qui ont pu se glisser dans la démonstration sont trouvées. Cependant l'histoire des mathématiques n'est pas exempte d'exemple où il a été mis un temps très important pour que la communauté mathématique découvre une erreur ou un résultat faux. De plus, dans quelques cas récents, la lecture des preuves a été particulièrement longue et compliquée, d'autant plus que maintenant de plus en plus de preuves utilisent du code informatique.</p> <p><strong>Comment les mathématiciens peuvent-ils être sûrs que de telles preuves sont fiables ?</strong></p> <p style="text-align: justify;">De façon habituelle, les mathématiciens, s'ils ne savent pas résoudre un problème, le ramènent à un problème qu'ils savent résoudre. S'ils ne peuvent plus faire de démonstration à la main, il suffit qu'ils fassent faire à l'ordinateur ce qu'ils faisaient usuellement à la main. Mathématiciens et informaticiens ont donc commencé à développer le vaste champ de la preuve formelle. La preuve formelle nécessite la vérification de chaque inférence à partir des axiomes de départ. Si les mathématiciens ne produisaient auparavant aucune preuve dans un langage formel, c'est qu'il aurait été impossible de la faire lire par la communauté mathématique, mais maintenant qu'un ordinateur peut lire et valider une preuve, il risque d'en être autrement. Les avancées dans la preuve formelle sont telles qu'il est maintenant possible de l'utiliser pour des tâches difficiles.</p> <p><strong>Mais jusqu'où iront-ils ?</strong></p> <p style="text-align: justify;">Si les ordinateurs ( aidés par les mathématiciens et les informaticiens ! ) sont maintenant capables de se lancer dans les démonstrations, ils sont aussi en mesure de se lancer dans l'exploration des mathématiques elles-mêmes et d'émettre des conjectures ( hypothèses pour les autres disciplines). On peut ainsi les laisser chercher quelques relations qui n'auraient pas été vues par l'oeil du mathématicien. Les mathématiciens peuvent aussi se lancer dans l'observation des ordinateurs qui parcourent les mathématiques et apprendre ainsi de nouvelles choses. Il s'agirait d'un changement profond dans la façon de concevoir les mathématiques et de les faire. Un rêve serait d'ailleurs de voir les ordinateurs en mesure de valider toutes les preuves des théorèmes fondamentaux, activité qui s'apparenterait au séquencement du génome mathématique.</p> <p>La source en anglais <a target="_blank" href="http://www.sciencedaily.com/releases/2008/11/081106153638.htm">Science Daily</a></p> <p> </p> <p style="text-align: center;"><a href="http://www.flickr.com/photos/belgapixels/2777606353/" title="L'INFORMATIQUE: UN METIER D'AVENIR ! - THE COMPUTING: A PROMISING FIELD ! de Belgapixel's, sur Flickr"><img src="http://farm3.static.flickr.com/2418/2777606353_054d633cb3.jpg" width="500" height="384" alt="L'INFORMATIQUE: UN METIER D'AVENIR ! - THE COMPUTING: A PROMISING FIELD !" /></a></p> <p style="text-align: center;"><strong><span style="text-decoration: underline;">Un mathématicien post-moderne</span></strong></p> <p> </p>
Olivier Leguayhttp://www.inclassablesmathematiques.fr/about.htmlPhilosophie et spiritualitétag:www.inclassablesmathematiques.fr,2007-03-06:9170362007-03-06T14:25:00+01:002007-03-06T14:25:00+01:00Le site de Serge Carfantan: ICI , on pourra se diriger vers l'onglet...
Le site de Serge Carfantan: <a target="_blank" href="http://sergecar.club.fr/index.htm">ICI</a> , on pourra se diriger vers l'onglet "Démonstration" dans un premier temps...<br /> <br /> Dans "Documents > Humour et philosophie", il y a une page : "Paradoxes: ou comment casser la logique du mental ?"<br /> La leçon 146 sur la télévision est intéressante, (parmi d'autres).<br /> Mais je n'ai pas trouvé Gödel!