Idiomathique du jour
La situation est dramathique sur le théâtre des opérations: personne ne veut les poser !
Alonzo Church
Le mathématicien logicien américain Alonzo Church est né le 14 juin 1903.
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.
Jules Hoüel
Le mathématicien français Guillaume-Jules Hoüel est mort le 14 juin 1886.
Il a beaucoup travaillé sur les bases de la géométrie plane et publié ses réflexions dans son Essai critique sur les principes fondamentaux de la géométrie élémentaire qu'on peut trouver sur Google-Livres ou sur Gallica.
Il a aussi été le premier à traduire La théorie des parallèles de Nicolaï Lobatchevsky.
Jeu de briques
Snake
Pacman
Bubble