Page du mercredi 14 juin 2017


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.

 


Des livres de Maths 


Livraison mathématique

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

 

Dans les blogs de Maths