Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional
Auteur(s) : Lehning Hervé

Titre : Bibliothèque Tangente. Num. 15. Les machines de Turing. p. 42-45.

Editeur : Editions Pôle Paris, 2004 Collection : Bibliothèque Tangente Num. 15
Format : 17 cm x 24 cm, p. 42-45 ISBN : 2-84884-018-8 EAN : 9782848840185  ISSN : 2263-4908

Type : chapitre d'un ouvrage Langue : Français Support : papier

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

Classification : D44Histoire et épistémologie des mathématiques, époque moderne (à partir du 19ème). D45Histoire et épistémologie des mathématiques, époque moderne (à partir du 19ème). D48Histoire et épistémologie des mathématiques, époque moderne (à partir du 19ème). E34Logique. Acquisition des capacités de raisonnement logique. E35Logique. Acquisition des capacités de raisonnement logique. E38Logique. Acquisition des capacités de raisonnement logique. 

Résumé :

Comment définir de façon rigoureuse ce qui est calculable et ce qui ne l'est pas ? L'auteur de cet article présente la réponse qu'a donnée Turing en créant les machines qui portent son nom. Contrairement à ce que le nom peut laisser croire, c'est un outil théorique.

Notes :
Cet article est publié sous la rubrique "Savoirs".
Il fait partie du dossier : Le projet de Hilbert dans Bibliothèque Tangente n° 15 - La logique. .
Il est également paru dans Tangente Hors-série n° 15 - Vol. 1. La logique.

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 02/11/2018
Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN