Inclassables Mathématiques Le blog 2.0 - simulations-modelisations

Si Monsieur Machin est une machine alors...

noreply@inclassablesmathematiques.fr (Olivier Leguay) — Fri, 26 Feb 2010 18:17:00 +0100

Si vous êtes dualiste alors vous pensez que l'esprit et la matière existent et qu'ils sont en relation.

Si vous êtes matérialiste vous pensez que seule la matière existe et que l'esprit se ramène à son support physique.

Si vous êtes idéaliste, l'esprit existe et la matière est une illusion.

L'essentiel n'est pas d'avoir une position mais d'en assumer les conséquences.

On pourrait explorer l'hypothèse suivante : "Et si nous n'étions que des machines". Nous ferions dans ce cas, le pari de la validité du "mécanisme numérique" aussi dénommé "computationnalisme", c'est à dire que l'on supposera vrai le fait que l'on puisse décrire un être humain de façon suffisamment précise, afin de saisir son identité mentale (et physique). Si cette hypothèse vous semble farfelue, il ne faut pas oublier que les progrès vont bon train dans ce domaine, qu'une stimulation du cerveau peut redonner des sensations visuelles et que certaines parties du corps peuvent être entièrement remplacées par un objet externe. Si l'on se rend bien compte du chemin qu'il reste encore à parcourir avant que cette hypothèse soit réalisée, on peut déjà en explorer les conséquences. C'est d'ailleurs ce qu'a réalisé Bruno Marchal dans sa thèse résumée par Jean-Paul Delahaye dans le numéro de "Pour la Science" de Janvier 1998.

Il doit être clair qu'il ne s'agit pas de présumer de la validité de cette hypothèse mais d'en explorer les contours et les problèmes qui s'y attachent en la prenant comme base de travail et en suivant un raisonnement logico-déductif rigoureux.

L'hypothèse du mécanisme numérique implique donc la possibilité du codage complet de l'humain et donc celle de recréer un équivalent mécanique ailleurs, plus connu sous le nom de téléportation. La position adoptée est donc ni matérialiste, ni dualiste, qui sont les deux conceptions les plus présentent, mais celle d'un idéalisme particulier, pas le même que l'idéalisme "mathématique". C'est celui des machines numériques abstraites dans lequel on retrouvera de façon surprenante la logique de la prouvabilité, l'autoréférence, les résultats de Gödel, la thèse de Church et où l'on devra voir accoucher la physique de la théorie des machines numériques , donc de la théorie de la calculabilité et dans lequel l'indéterminisme sera présent sous une forme très particulière.

Mais reprenons l'histoire au début.

Monsieur Machin sait qu'il est une machine. Il sait en fait qu'il est possible d'enregistrer sa description, de le reconstruire ailleurs en faisant voyager l'onde électromagnétique et d'annihiler la version de base. Monsieur Machin aura été téléporté si l'expérience est réalisée.

Il est cependant possible de compliquer un peu l'expérience. On peut reconstituer Monsieur Machin en deux endroits différents. Le seul problème est que Monsieur Machin sera dans l'incapacité de déterminer l'endroit où il sera après le transport. Il s'agit d'un indéterminisme "psychologique" sans aucun lien avec l'indéterminisme physique (quantique ou autre). C'est un indéterminisme "intime", du même type que celui rencontré par une amibe qui se duplique.

Photo: aldoaldoz

Comptabiliser les morts en temps de guerre, ou lors d'une catastrophe naturelle

noreply@inclassablesmathematiques.fr (Olivier Leguay) — Sat, 30 Jan 2010 12:51:00 +0100

Les chiffres arrivent au fur et à mesure. Ils varient d'un média à l'autre. Les différentes sources donnent parfois des estimations qui peuvent varier du simple au double. Elles peuvent même être revues plusieurs fois par jour.

Le tremblement de terre d'Haïti vient une fois de plus nous replonger dans le triste calcul mais pourtant nécesssaire du nombre de victimes. En mai 2008, un cyclone a fait 100 000 morts en Birmanie. Les estimations des morts de la seconde guerre mondiale donnent des chiffres variant entre 41 et 70 millions ( voir Des matheux pour compter les morts ). Les chiffres peuvent servir à mesurer l'ampleur de l'aide, à infléchir des politiques ou même servir d'argument juridiques.

La méthode de comptabilisation doit être scientifique pour que le nombre estimé soit le plus proche possible du nombre réel. Les techniques utilisées font appel au témoignage, au constat aussi bien qu'à l'observation par satellite pour par exemple, imputer à d'autres villages détruits de façon identiques, le taux de mortalité constaté sur l'un d'entre eux. Il reste aussi à prévoir les dégats que causeront les épidémies qui se propageront à la suite de la catastrophe.

Article en anglais à consulter: How will they count the dead in Haïti? Source ( @StatFr)

Vue aérienne du bâtiment des Nations Unies en Haïti après le tremblement de terre de 2010.
Source: ONU

Une marche au hasard au Texas entre les primes pour les bons enseignants et le licenciement des mauvais

noreply@inclassablesmathematiques.fr (Olivier Leguay) — Fri, 22 Jan 2010 09:33:00 +0100

http://www.bulletins-electroniques.com/actualites/61884.htm

J'ai lu un livre très intéressant pendant ces vacances de fin d'année : "The Drunkard's Walk", de Leonard Mlodinow. L'auteur de cette "Promenade de l'Ivrogne" est un physicien qui, après avoir décroché un doctorat en physique théorique à Berkeley et une bourse de la Fondation Alexander von Humboldt à l'Institut Max Planck de Munich, a écrit des scénarios pour la télé et le cinéma (Hunter, MacGyver, Star trek: The Next Generation), puis a produit des jeux vidéos, pour finalement revenir dans le monde académique en 2005 comme enseignant au California Institute of Technology.

La thèse du livre est simple : notre vie est dominée par le hasard, mais notre cerveau étant programmé pour reconnaître des schémas (patterns), nous sommes incapable de voir l'aléatoire là où il se manifeste. Prenons l'un des mythes du monde moderne : le mérite. "Les gens ignorent systématiquement le rôle du hasard dans le succès des entreprises et des individus", écrit Mlodinow. Vous souvenez-vous de Stanley O'Neal ? Une parenthèse : comment reconnait-on le mérite, de nos jours ? Grâce au salaire, bien sûr. Si on est très bien payé, on est très bon. M. O'Neal a gagné 48 millions de dollars en 2006, et 46 en 2007. Plus que très bon. Un génie. Sans aucun doute. A tel point que, en quittant son poste à la fin de 2007, M. O'Neal a été remercié pour ses bons services avec un supplément d'environ 160 millions de dollars. Et que personne ne dise que le mérite n'existe pas ou qu'il n'est pas bien récompensé.

Pourquoi, alors, CNBC a-t-elle classé Stan O'Neal parmi les Plus Mauvais PDG Américains de Tous les Temps ? Parce que O'Neal est le PDG responsable de l'entrée de la firme de consultants financiers Merrill Lynch dans l'arène des sub-primes, ce qui a causé à l'entreprise des pertes de 8 milliards de dollars. Les 160 millions de dollars sont la prime du licenciement qui a suivi ce désastre. Génie ou idiot, nous demande implicitement Mlodinow ? Si l'on juge O'Neal sur la base de ses résultats, on doit conclure que le génie peut évoluer vers l'idiotie en l'espace de quelques mois. Si, par contre, les succès anciens et les insuccès récents de M. O'Neal sont dus au hasard, quel mérite est-on en train de récompenser par des millions de dollars ?

Je réfléchissais à cette histoire de mérite vs. hasard, quand mon attention a été capturée par un article du Houston Chronicle : "HISD may fire teachers over test scores". Le Rectorat de Houston (Houston Independent Schools District) pourrait mettre à la porte des enseignants sur la base des résultats (des élèves) aux tests.

La phénologie au service des prévisions météorologiques pour l'agriculture

noreply@inclassablesmathematiques.fr (Olivier Leguay) — Sun, 10 Jan 2010 10:35:00 +0100

http://www.bulletins-electroniques.com/actualites/61810.htm

Les changements climatiques inquiètent de plus en plus, non seulement les scientifiques mais également le monde agricole, notamment en raison des impacts qu'ils ont ou auront sur les pratiques culturales. D'après les climatologues, les changements climatiques ont eu pour conséquence un bouleversement planétaire des rythmes saisonniers. En effet, comparé à la situation quelques décennies en arrière, le printemps est plus précoce, ce qui entraîne notamment une floraison anticipée des plantes. Pour comprendre l'impact de ces phénomènes, les chercheurs tentent de mettre au point des modèles mathématiques permettant de prédire les effets éventuels des bouleversements météorologiques sur les cultures. Nous avions déjà abordé ce thème dans un précédent bulletin qui exposait les travaux de recherche de scientifiques de l'ARS (Agricultural Research Service) et de la NOAA (National Oceanic and Atmospheric Administration), lesquels ont mis au point des modèles numériques pour l'aide à la décision agricole (date des pâtures, estimation des rendements, etc.) en lien avec le climat. Ce projet avait pour but de fournir aux exploitants des données locales les plus pertinentes, à savoir des variations à court terme ou des ruptures par rapport aux moyennes à long terme.

Créer un cancer virtuel

noreply@inclassablesmathematiques.fr (Olivier Leguay) — Tue, 27 Oct 2009 18:49:00 +0100

Le cancer est l'une des causes majeures de décès dans le monde (en particulier dans les pays en développement), avec environ 11 millions de personnes diagnostiquées et environ 7 millions de personnes qui meurent chaque année. Les prévisons de l'Organisation mondiale de la santé sont d'environ 9 millions de morts en 2015 et de 11,5 millions de décès en 2030 par cancer.

Le cancer est un sujet très important de la recherche médicale, mais de façon assez inattendue aussi de la recherche en mathématiques appliquées.

Le processus démarre avec la division incontrollée de quelques cellules. les déchets sont expulsés à la surface de la tumeur. Une fois que la tumeur atteint une certaine taille les propriétés des bords de la tumeur se modifient en raison de l'importance des déchets. Elle devient plus agressive.

Les mathématiques sont déjà utilisées pour modéliser la croissance de tumeurs cancéreuses dans la phase pré-invasive. Une équipe de l'université de Dundee est en train de concevoir un modèle global de croissance. Un tel modèle doit fonctionner sur plusieurs niveaux, sub-cellulaire, cellulaire et macroscopique. L'objectif de ce projet est de simuler un cancer virtuel afin d'améliorer les traitements.

La partie continue du modèle serait composée d'un système d'équations de réaction-diffusion modélisant les modifications de concentration des substances chimiques libérées dans les cellules de la tumeur et les tissus environnants les changements qui en résultent pour les tissus et la tumeur.

Ce sont visiblement des équations identiques à celles permettant de modéliser la diffusion des pigments donnant naissance aux tâches et rayures du pelage de certains animaux.

L'article complet ( en anglais) sur Plus magazine

Mon avis sur " Les métamorphoses du calcul" de Gilles Dowek

noreply@inclassablesmathematiques.fr (Olivier Leguay) — Sat, 24 Oct 2009 15:06:00 +0200

Trois jours de stage et six heures de train pendant lesquelles j'ai dévoré ce livre. Gilles Dowek a reçu le Grand Prix de Philosophie 2007 décerné par l'Académie Française. Je ne connais pas les autres lauréats mais pour ce qui est de ce livre je pense que la philosophie a vraiment trouvé du grain à moudre pour quelques années dans ces métamorphoses numériques.

Au début du livre, j'étais en territoire connu mais j'ai déjà lu beaucoup de livres sur l'histoire des mathématiques alors j'ai pensé, tiens encore une histoire des maths. C'est vrai pour le tout début du livre mais la première partie est nécessaire à quiconque ne maîtrise par bien ce sujet afin d'introduire la logique des prédicats.

Et puis dès la cinquantième page, je vois apparaître mon copain Kant et ses jugements synthétiques à priori. Alors je commence à me dire que ça va cogner. On pourra d'ailleurs lire le documents suivant : La philosophie des mathématiques de Kant . Quel est le problème?

Kant propose deux types de jugements :

Analytique si une proposition est vraie par définition comme "un triangle à trois cotés".

Synthétique si la propostion est vraie sans que ce soit une définition. Par exemple "La terre a un satellite" . Ce jugement peut être a priori si on peut le concevoir dans la tête ou a poseriori s'il faut une intéraction avec la nature.

Les jugements analytiques semblent quant à eux exclusivement à priori.

Pour Kant le raisonnement se situe dans les jugements synthétiques à priori mais c'est là que ça coince par ce que ce n'est pas aussi simple que ça!

Le "simple", 2+2=4 pose problème. Frege va d'ailleurs montrer que 2+2=4 peut se déduire de la définition des nombres entiers et doit être classé parmi les jugements analytiques et non parmi les jugements synthétiques à priori.

On voit déjà poindre à l'horizon une problématique philosophique centrale concernant les mathématiques, leur constitution et leur évolution. Se constituent-elles au sein d'elles mêmes auquelles cas elles sont analytiques à partir des simples définitions. Relèvent-elles du jugement synthétique à priori ou doivent-elles aller chercher des éléments dans la nature pour se construire.

Il est inutile de vouloir répondre simplement à ces questions qui dépendent de l'évolution des mathématiques elles mêmes dont le pivot central est certainement la thèse de Church des années 30, affirmant l'identité entre la notion de calcul "informatique et la notion "commune " de calcul que nous avons.

En avançant encore un peu dans le livre on voit apparaitre l'idée selon laquelle Démonstration = Algorithme et puisque la thèse de Church nous donne Algorithme = Calcul, on a donc l'identité Démonstration = Calcul. Il devient donc nécessaire de distinguer les notions de démontrable et d'explicatif, ce qui est loin d'être facile pour les mathématiciens. La longueur des démonstrations est aussi abordée, avec par exemple la problèmatique suivante : Peut-on démontrer qu'un problème démontrable possède une démonstration "courte"?

Philosophiquement le sujet est dense!

D'autant qu'à la fin de l'histoire une surprise de taille nous attend avec un retour nécessaire à la nature... Mais je n'en dis pas plus.

Ce qui m'a aussi passioné dans le livre est le traitement du rapport du mathématicien et de la machine, de ce nouvel outil qui lui est maintenant indispensable. L'auteur s'interroge aussi sur le fait que l'ordinateur du mathématicien est le même que celui de Mme Michu, sauf bien sûr si les calculs sont vraiment très très longs et demandent un super-calculateur pour pouvoir être faits en un temps "raisonnable". Il est intreressant de comprendre quelles est la place de l'ordinateur-machine à coté du mathématicien-humain.

J'ai extrait quelques courtes citations vers la fin du livre qui me semblent assez explicites sur les métamorphoses du calcul qui est le sujet du livre et donc des mathématiques elles-mêmes:

En 1976, les mathématiques sont entrées dans la période instrumentée de leur histoire. Les instruments utilisés par les mathématiciens, ne sont pas des instruments qui prolongent les facultés de nos sens, mais qui prolongent les capacités de notre entendement: notre faculté de raisonner et surtout, de calculer. ( p 182 )

L'utilisation d'instruments commence, de même à changer, les mathématiques. ( p 182 )

La maquette sur laquelle on fait l'essai est donc une machine à résoudre un problème mathématique,[...] (p 188)

L'entrée des mathématiques dans leur ère instrumentée incite donc, non à accorder une confiance excessive dans les instruments utilisés, mais à restreindre prudemment la confiance parfois exagérée, que nous avons en nous-mêmes: nous aussi nous pouvons faire des erreurs. ( p 191 )

Podcast de Gille Dowek sur le livre et sur Canal-Académie

Pour compléter :

Des p'tits problèmes de coloriage ( autour du théorème des quatre couleurs)

Ecologie : le potentiel invasif des espèces reste difficile à prédire

noreply@inclassablesmathematiques.fr (Olivier Leguay) — Mon, 05 Oct 2009 18:50:00 +0200

Alors que les problématiques environnementales liées aux espèces invasives prennent de plus en plus d'ampleur aux Etats-Unis, notamment en raison des dégâts occasionnés sur les espaces boisés des rocheuses et des Appalaches, des chercheurs de l'université californienne UC Davis ont tenté d'évaluer avec plus de précisions les facteurs influençant la propagation d'une espèce animale. Alan Hasting (chercheur à l'université UC Davis) et Brett Melbourne (maître de conférence à l'université du Colorado) ont rendu public les résultats de leur recherche portant sur la difficulté d'évaluer le potentiel invasif d'une espèce donnée.

Si la détermination de la vitesse moyenne de dispersion d'espèces invasives a fait l'objet de nombreuses études, peu de recherches portent actuellement sur l'évaluation du potentiel invasif d'espèces données. Publiés dans la revue Science du 18 septembre 2009 et financés par la "National Science Foundation" [3], ces récents travaux soulignent la difficulté de prédire les comportements malgré la prise en compte d'incertitudes telles que la variabilité environnementale, démographique ou génétique.

Deux méthodes existent actuellement pour déterminer le potentiel invasif d'une espèce et tenter d'anticiper les invasions. La première consiste à faire appel à la modélisation en évaluant les paramètres d'entrée. La seconde vise à extrapoler les résultats obtenus à partir d'observations et de données de terrain. Les chercheurs ont utilisé ces deux outils pour évaluer le degré d'incertitude du potentiel invasif du coléoptère "Tribolium Castaneum". Recréant 30 écosystèmes d'accueil identiques, ils ont étudié les déplacements et comportements de 600 coléoptères sur 13 générations. Ces expériences de laboratoire, couplées à un modèle mathématique, ont mis en évidence un degré de déplacement différent selon les générations, certaines se déplaçant sur l'ensemble du terrain d'étude alors que d'autres se contentaient d'occuper le tiers de l'espace.

Ces résultats soulignent donc la difficulté de cataloguer l'ensemble des facteurs influençant le comportement invasif d'une espèce. En effet, la variabilité intrinsèque à chaque espèce aurait une influence non négligeable sur sa propagation dans un écosystème d'accueil.

Source: Bulletins électroniques

Photo: JR Guillaumin

Voir aussi les très belles photos de coléoptères de Paula FJ

La classification mathématique des textes

noreply@inclassablesmathematiques.fr (Olivier Leguay) — Sat, 12 Sep 2009 20:37:00 +0200

Je viens de trouver un document de 8 pages très intéressant de Dominic Forest et de Jean-Guy Meunier (UQUAM) sur le sujet de l'utilisation des mathématiques en vue de la classification du contenu d'un texte. Une expérimentation sur le Discours de la Méthode de Descartes est donnée en exemple.

C'est ICI

Le retour de la démonstration

noreply@inclassablesmathematiques.fr (Olivier Leguay) — Tue, 14 Jul 2009 17:50:00 +0200

Il était une fois...

Au XVIIIème siècle, un homme fut le maître de la mise en scène de la "démonstration", il s'appelait l'Abbé Nollet, 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 Nollet 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.

Au XXIème siècle...

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.

Translatez et linkez en paix mes frères et mes soeurs...

noreply@inclassablesmathematiques.fr (Olivier Leguay) — Mon, 29 Jun 2009 15:56:00 +0200

Alors que je consultais paisiblement mon Google Reader, je fus interpelé par un article intitulé "Fast inverse square root", partagé par un internaute du Monde. Je connaissais bien la traduction en français de tous les mots du titre: "Racine carrée inverse rapide". Chacun d'entre eux faisait sens mais lorsqu'ils étaient placés ensemble, je me retrouvais dans l'incapacité de prédire un contenu possible de l'article en question. J'imaginais bien sûr qu'il devait s'agir d'une méthode, exotique ,ça je ne le savais pas, mais certainement numérique pour calculer l'inverse d'une racine carrée de façon rapide.

Ma curiosité ne fit qu'un seul tour de mon attracteur étrange psychique, ce qui me poussa de façon compulsive à cliquer sur le lien en question. Et que vis-je en premier? L'image suivante...

Waouh, ça parle de maths et de jeux vidéos dans l'article !

Lighting and reflection calculations (shown here in the free and open source first-person shooter, OpenArena) use the fast inverse square root code to compute angles of incidence and reflection.

Je ne suis pas encore trop dépassé par le texte précédent et j'arrive à comprendre en gros que l'article traite d'une méthode utilisée dans les codes de jeux vidéos, le premier étant certainement OpenArena, et qui permettrait de calculer plus rapidement les angles d'incidence des rayons lumineux sur les surfaces éclairées, et pour cela il faut estimer de façon assez précise et quasi-instantannée l'inverse de la racine carrée de nombreux nombres afin d'offrir un rendu réaliste.

En parcourant en diagonale le texte, je lis quelques bribes en passant :

The magic number 0x5f3759df

En plus il y a quelque chose de magique dans ce texte. Il faut que je le lise... mais c'est en anglais, alors je le bookmarque sur Diigo dans la catégorie "non lu" qui augmente à vue d'oeil et je procrastine, remettant la fastidieuse traduction au lendemain avant de me lancer dans l'écriture d'un billet dont le sujet s'avérait prometteur.