Accueil › Scientifique › Alonzo Church

Alonzo Church

Scientifique

Décédé à l'âge de 92 ans

Naissance 14 juin 1903

Astrologie Gémeaux ♊

Signe chinois Lapin 🐇

Nationalité américaine 🇺🇸

Métier Scientifique

Lieu de naissance Washington

Décès 11 août 1995

Qui est Alonzo Church ?

Alonzo Church était un scientifique, né le 14 juin 1903 et décédé le 11 août 1995 à l'âge de 92 ans. Alonzo Church (14 juin 1903 Washington - 11 août 1995 Hudson) est un mathématicien (logicien) américain à qui l'on doit certains des fondements de l'informatique théorique.

Avant la célébrité

Church en 1936 publie « An Unsolvable Problem of Elementary Number Theory » (avec l'aide de ses élèves Kleene et Rosser) sur les fonctions de nombres entiers que l'on peut calculer mécaniquement. C'est-à-dire les fonctions dont on peut calculer les valeurs par un algorithme en un nombre fini d'étapes. Il les appelle des « fonctions effectivement calculables ». La notion de « mécaniquement calculable » étant intuitive et floue — puisqu'elle fait appel aux machines présentes et à venir —, il cherche à donner une définition précise de ces fonctions. Il va faire deux propositions.