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 : Bibliothèque Tangente. Num. 52. Alonzo Church, Alan Turing et la calculabilité. p. 40-42.

Editeur : Editions Pôle Paris, 2014 Collection : Bibliothèque Tangente Num. 52
Format : 17 cm x 24 cm, p. 40-42 ISBN : 2-84884-151-6 EAN : 9782848841519  ISSN : 2263-4908

Type : chapitre d'un ouvrage 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 : Mathématiques pour l'informatique de l'ouvrage Bibliothèque Tangente n° 52 - Mathématiques et informatique.
Il est également paru dans Tangente Hors-série n° 52 - L'informatique riche des maths.

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