NOMBRES - Curiosités, théorie et usages

Accueil / Dictionnaire / Rubriques / Index / Atlas / Références /    Nouveautés

ORIENTATION GÉNÉRALE    -   M'écrire   -   Édition du: 22/07/2009

Débutants

Général

GRANDS ESPRITS  Mathématicien

Glossaire Général

 

Alonzo CHURCH

 

 

 

 

 

CHURCH

Alonzo

1903 - 1995

92 ans

Américain

Washington - Hudson

*   Logicien

Sans doute le plus grand du XXe siècle

*   Logique

*   Lambda calcul

*   Théorie de la récursivité (recursion theory)

*   Informatique théorique

 

En 1932, il invente du lambda-calcul

En 1936, il démontre l'arithmétique est indécidable

Conjecture sur l'équivalence entre programmation et fonctions récursives

 

Voir

Turing et Church

Un problème

-       ne pouvant être résolu par une machine

-       ne peut l'être par l'esprit humain.

-       Hypothèse formulée en 1932

Jean-Louis Krivine

Démontre que le lambda-calcul

-       permet d'exprimer tous les raisonnements

-       ainsi que toutes les structures mathématiques

Lambda calcul

-       comme "alphabet" des pensées humaines

-       aboutissement d'un siècle de recherche en logique

-       Suite de sa démonstration de 1997

 

 

Voir

*    Contemporains

*    Krivine

*    Intelligence artificielle