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

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

Classification : A34Revues, article de revue A35Revues, article de revue A38Revues, article de revue D54Histoire et épistémologie de l'informatique D55Histoire et épistémologie de l'informatique D58Histoire et épistémologie de l'informatique P14Ouvrages généraux sur l'Informatique P15Ouvrages généraux sur l'Informatique P18Ouvrages généraux sur l'Informatique 

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 12/02/2018
Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche 
Certification IDDN