Le blog-notes mathématique du coyote

Embauchée par le Jet Propulsion Laboratory dans les années 1950, Sue Finley a intégré un service 100 % féminin et contribué aux grands programmes spatiaux des États-Unis. Cette femme un rien espiègle, qui a toujours préféré les chiffres aux lettres, est aujourd'hui encore, à 82 ans, au service de la Nasa.

Lire l'article de Futura

Un nouvel « entretien autour de l’informatique » : Serge Abiteboul et Gilles Dowek interviewent Thierry Coquand, informaticien et mathématicien français, professeur à l’Université de Göteborg en Suède. Thierry Coquand est l’auteur de nombreux travaux en théorie de la démonstration et sur les mathématiques constructives. Il est, en particulier, à l’origine, avec Gérard Huet, du Calcul des constructions, qui est la théorie implémentée dans le système Coq.

Lire l'article de Serge Abiteboul et Gilles Dowek sur The Conversation

La notion de tresse, vue comme objet « tressé, natté ou entrelacé » remonte à plusieurs siècles et a été universellement utilisée à des fins décoratives ou même pratiques, par exemple dans la confection de cordes ou de câbles. Une tresse peut être un entrelacement de trois cordelettes ou brins, le brin gauche passant par dessus le brin central, puis le brin droit, puis le gauche, puis le droit, cette opération étant répétée autant de fois que nécessaire. Mais une tresse désigne aussi tout entrelacement de plusieurs cordes ou brins à condition que celles-ci suivent une direction précise.

Lire l'article de Luis Paris sur Images des mathématiques

Philosophe emblématique de la période des Lumières, Jean-Jacques Rousseau, à travers la publication du Contrat Social, a réinventé la façon de comprendre et de pratiquer la politique. Pour illustrer ses propos, il recourt fréquemment à l’usage des mathématiques. Parmi ses détracteurs, nombreux sont ceux à avoir remis en cause les connaissances scientifiques du philosophe. Alors, à tort ou à raison ?

Lire l'article de Jonathan Rotge sur Images des mathématiques

En kiosque actuellement: