Actualités philosophiques, scientifiques et sociétales

Détails

Écrit par : Patrick Juignet

Publié le : 25 Août 2019

L'homme est-il une espèce à part dans l'Univers ?

Franck Courchamp et Clément Morin présentent une série télévisée, diffusée sur Arte.tv, concernant l'homme dans l'Univers, intitulée Une espèce à part. La présentation part du plus petit, les molécules, pour aller jusqu'à embrasser l'ensemble de l’Univers connu et même inconnu. La série vulgarise le savoir issu de la science de pointe au travers d'un format extrêmement court de 4 mn avec des images spectaculaires, le tout étant fait pour capter l’attention réduite de nos contemporains. Cette série télévisée entre dans le cadre des récits philosophiques appuyés sur le savoir scientifique. La grosse différence avec les mythes religieux, qui se fondent sur l’observation ordinaire et sur des croyances métaphysiques, tient à ce qu'un véritable récit philosophique sur l'Homme et l'Univers se fonde sur les acquis scientifiques de son époque (qui s'efforcent à une adéquation aussi bonne que possible avec la réalité).

Détails

Écrit par : Patrick Juignet

Publié le : 3 Août 2019

De l'entretien avec Thierry Coquand, publié sous le titre Langages des maths, langages de l'informatique, nous ne retiendrons qu'un aspect, celui de la difficulté des démonstrations en mathématiques.

Cette affirmation est étonnante, car la formalisation des mathématiques donne l'impression que les démonstrations sont faciles à établir ou à réfuter. Et pourtant non, car les établir complètement, sans divers sauts intuitifs, est très long et demande des notations bien adaptées.

Ecoutons Thierry Coquand

Avant la rencontre avec l’informatique, les mathématiciens, notamment Bourbaki, étaient déjà allés très loin sur le chemin de la formalisation des démonstrations, mais ils voyaient bien les limites de cette démarche. Si on donne tous les détails dans une démonstration, si on la formalise totalement, elle devient vite trop longue et illisible pour les humains.
En revanche, un ordinateur a besoin de tous ces détails et ne s’effraie pas de la longueur des démonstrations. L’arrivée de l’informatique changeait donc tout.

L'informatique utilisant un langage approprié (un type particulier de langage de programmation, dit "fonctionnel", comme les langages Lisp ou ML) permettrait d'avoir des démonstrations complètes, suivies et vérifiées pas à pas.

Thierry Coquand poursuit :

... nous avons découvert, depuis cinquante ans, qu’écrire des démonstrations absolument correctes est impossible sans ordinateur. Chaque étape du développement des mathématiques nous a cependant apporté de nouvelles notations qui nous ont rapproché de cet idéal. C’est pour cela qu’il y a une histoire des langages d’expression des démonstrations.

Par exemple :

Georges Gonthier et son équipe ont formalisé une démonstration du théorème de Feit-Thompson. La démonstration de ce théorème était connue depuis les années 1960, mais il leur a fallu six ans pour construire cette démonstration formelle, c’est bien le signe que tout n’était pas dit dans la démonstration originale.

Thierry Coquand, informaticien et mathématicien français, professeur à l’Université de Göteborg en Suède, est l’auteur de travaux en théorie de la démonstration et sur les mathématiques constructives.

Article complet : https://theconversation.com/langages-des-maths-langages-de-linformatique-120777 ou https://www.lemonde.fr/blog/binaire/2019/07/26/demonstrations-mathematiques-et-programmes-informatiques/

Détails

Écrit par : Patrick Juignet

Publié le : 19 Juillet 2019

Historien et sociologue, Pierre Rosanvallon est actuellement titulaire de la Chaire d’Histoire moderne et contemporaine du politique au Collège de France et Directeur d’études à l’École des hautes études en sciences sociales. Dans sa jeunesse, il a été secrétaire à la CFDT, puis il a adhéré à la tendance politique incarnée par Michel Rocard, avant de se lancer, en 1978, dans la recherche intellectuelle, car les projets politiques militants lui ont paru trop généraux et pas assez fondés.

Il a été nommé Maître de conférence à l'école des hautes études en sciences sociales en 1983. À cette époque, il y >régnait une grande liberté ; c'était une « école d'éducation mutuelle » permettant une pluralité disciplinaire. Cette pluralité a convergé pour Pierre Rosanvallon vers un objet d'étude précis quoique d'extension assez vaste : la démocratie, le contrat social, la justice sociale. Il lui paraissait urgent de répondre aux questions contemporaines sur les racines du totalitarisme, les conditions de la démocratie, les raisons du tournant libéral, la naissance de la modernité. Sa manière d'aborder l'histoire considère le politique comme l'objet central de la démocratie, le moteur de la vie collective.

Pour Pierre Rosanvallon, le passé est le laboratoire des déroulements sociopolitiques actuels qui ont nécessairement une matrice historique. Pour comprendre les questions et réponses données aux problèmes sociopolitiques du passé, il faut se faire « le personnage vivant de cette histoire », retracer les perplexités, les interrogations, les aveuglements des acteurs, leurs difficultés pratiques. Les grandes questions politiques se posent en permanence, mais il n'y a pas de répétition de situations identiques au fil du temps.

Son engagement constant consiste à combattre l’ignorance, à « armer intellectuellement les citoyens ». Les idées ont une efficacité si elles sont reprises et portées largement dans la société. Il y a cinq ans, Pierre Rosanvallon a lancé> le projet collectif « Raconter la vie », car il lui a semblé important que chacun soit représenté dans la société contemporaine ; faute de quoi le citoyen se sent méprisé, ce qui conduit au retrait ou à la rébellion.

Pierre Rosanvallon sur France Culture