Page du mardi 11 août 2020


Idiomathique du jour

Faut-il exécuter un calcul comme un musicien exécute une partition ou comme un bourreau exécute un condamné ?


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