Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche 
Certification IDDN Valid HTML 4.01 Transitional
Auteur(s) : Delaunay David

Titre : Tangente Hors-série. Num. 52. p. 12-13. Alonzo Church, Alan Turing et la calculabilité.

Editeur : Editions Pôle Paris, 2014
Format : A4, p. 12-13  ISSN : 1294-9949

Type : article de périodique ou revue Langue : Français Support : papier

Utilisation : élève ou étudiant, enseignant, tout public Niveau : lycée, 2nde, 1ère, terminale, licence Age : 15, 16, 17, 18, 19

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.

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 13/06/2017
Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche 
Certification IDDN