Page du dimanche 11 août 2019


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...

 


Des livres de Maths 


Livraison mathématique

Toutes les nouveautés du rayon Mathématiques de votre librairie virtuelle...

 

Dans les blogs de Maths