Idiomathique du jour
Parmi les quatre évangiles canoniques, les mathématiciens chrétiens préfèrent celui de Matthieu.
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...
Jeu de briques
Snake
Pacman
Bubble