Page du lundi 11 août 2025

Idiomathique du jour

Pour intéresser les élèves aux mathématiques, il faut un prof de maths charismathique.

Alonzo Church

Le mathématicien logicien américain Alonzo Church est mort le 11 août 1995.

On lui doit certains des fondements de l'informatique théorique, le développement du lambda-calcul et son application à la notion de fonction récursive pour la première démonstration de l'existence d'un problème indécidable.

Il a laissé son nom à la thèse de Church qui affirme l'équivalence entre un concept intuitif, à savoir les fonctions mécaniquement calculables, et un concept formel, à savoir, les diverses définitions des fonctions récursives.

Charles Bossut et l'histoire des mathématiques

Le géomètre français, et néanmoins abbé, Charles Bossut est né le 11 août 1730.
On trouve sur la page web "Notice sur la vie et les ouvrages de Charles Bossut" une biographie complète.

Membre de l'Académie des sciences, il a collaboré à l'Encyclopédie de Diderot et d'Alembert; mais il est surtout connu pour son "Histoire générale des mathématiques", qu'on peut lire sur Google-livres...