Alonzo Church
Période historique : XXe siècle (1903 - 1995)
Créateur du lambda-calcul et auteur de la thèse de Church-Turing définissant la frontière de la calculabilité.
Contenu & Formulation mathématique
Genèse & Portée historique
Logicien et mathématicien américain dont le système formel du λ-calcul a fourni la première définition mathématique rigoureuse de la calculabilité effective, prouvant l'indécidabilité du problème de la décision avant de diriger la thèse de Turing.
Le lambda-calcul inventé par Church dans les années 1930 est devenu un demi-siècle plus tard la syntaxe fondamentale de tous les langages de programmation fonctionnelle (Lisp, Haskell, OCaml).
Filiations & Relations conceptuelles (1)
Objet de collection MathTCG
Alonzo Church
Création du lambda-calcul, preuve de l'indécidabilité de la logique du premier ordre (théorème de Church), thèse de Church-Turing.
Œuvres : An Unsolvable Problem of Elementary Number Theory (1936), The Calculi of Lambda-Conversion (1941)
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Foundations.