Tangente Hors-série. N° 52. p. 12-13. Alonzo Church, Alan Turing et la calculabilité.
Auteur : Delaunay David
Résumé
Cet article est centré sur les travaux de Church et de Turing. S’inspirant des travaux fondateurs du logicien Kurt Gödel, ils dégagent deux notions clés : le lambda-calcul et la machine de Turing. Leur but est de préciser la notion de calculabilité.
Notes
Cet article est publié sous la rubrique « Histoires ».
Il fait partie du dossier : L’informatique, d’hier à aujourd’hui dans Tangente Hors-série n° 52 – L’informatique riche des maths.
Il est également paru dans Bibliothèque Tangente n° 52 – Mathématiques et informatique.
Données de publication
Éditeur Editions POLE Paris , 2014 Format A4, p. 12-13
ISSN 1294-9949
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19
Type article de périodique ou revue, vulgarisation, popularisation Langue français Support papier
Classification