Bulletin de l’APMEP. N° 510. p. 471-484. Apprenez à programmer avec une machine de Turing.

Une version texte intégral est en téléchargement sur le site Bibliothèque numérique des IREM et de l’APMEP Télécharger

Auteur : Raynaud Marc

Résumé

L’article, présente un prototype de la machine imaginée par Alan Turing pour modéliser le concept d’algorithme et donner une réponse négative au problème de la décision en logique du premier ordre posé quelques années auparavant par Hilbert et Ackermann. Ce prototype a été imaginé, mais pas construit, par Turing. Le problème mathématique est difficile, mais le fonctionnement de la machine est abordable par un large public. Le prototype a été construit en 2013 et fonctionne correctement.

Notes

Cet article est publié sous la rubrique « Pour chercher et approfondir ».

Le Bulletin de l’APMEP (appelé « Bulletin Vert ») s’efforce, par des articles de fond : de couvrir l’actualité de l’enseignement des mathématiques de la maternelle à l’université, de contribuer à la formation approfondie des enseignants, d’entretenir, chez ceux-ci, l’esprit de recherche et de susciter des échanges avec ses lecteurs.
Il paraît 5 fois par an de sa création à 2018, année où suite à un changement de politique éditoriale, l’APMEP publie une revue unique Au Fil des Maths – le Bullletin de l’APMEP.

Données de publication

Éditeur Association des Professeurs de Mathématiques de l’Enseignement Public (APMEP) Paris , 2014 Format 17 cm x 24 cm, p. 471-484 Index Bibliogr. p. 484-484
ISSN 0240-5709

Public visé chercheur, enseignant, formateur

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