Page du samedi 14 juin 2025

Idiomathique du jour

Ce n'est pas parce qu'il utilise la preuve par neuf qu'un mathématicien est pour l'innovation.

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.