En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies. Ces derniers assurent le bon fonctionnement de nos services. En savoir plus.
Frédéric Laroche vient de signer un excellent nouveau livre, non pas sur les mathématiques mais sur l'informatique. On y apprend à débuter en Python. L'approche se veut très pédagogique et graduelle. Il est particulièrement interessant pour la spécialité ISN de Terminale S.
A consommer sans modération!
Intervention d'Albert Burroni sur le thème de « Mathématique des structures de l'informatique théorique », lors de l'édition 2012 de la conférence-table ronde mathématiques innovantes.
Cette conférence sur le thème « Réseaux et structures dynamiques » s'est déroulé le Mardi 22 mai 2012 dans les locaux de Supméca Paris.
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.
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.
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.
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.
Photo: Cesarharada.com
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
Deux émissions de France Culture à ne pas manquer en rapport serré avec le sujet de ce blog, à écouter et podcaster rapidement :
Continent sciences: Le mariage positif de disciplines distinctes - invitée - Laurence Viennot
Place de la toile: Qu'est-ce qu'un beau code ? avec Bernard Rieder, Philippe Bootz et Clarisse Herrenschmidt dont j'avais déjà parlé ICI, au sujet de son livre "Les trois écritures".
Je viens, en passant, de découvrir l'existence de l'AFC, Association des Auditeurs de France Culture dont il n'est pas impossible que j'adhère très rapidement.