Lectures Year : 2020

The Turing machine

La machine de Turing

Abstract

Alan Turing publie en 1936 un article où il répond négativement à une question de logique formelle, « Peut-on concevoir un algorithme qui décide si une formule du calcul des prédicats est provable ou non ? ». Il utilise pour se faire un modèle de calcul qui n'a cessé d'être utilisé depuis, et qu'on appelle la Machine de Turing. Pour cette raison, 1936 est une date majeure de l'informatique, et peut-être même la date de naissance de l'informatique théorique. Ce document de cours est un "picopoly" (une sorte de flyer) qu'il est préférable d'imprimer en format A3 pour ensuite le plier et obtenir un livret en format A6.

Fichier principal
Vignette du fichier
picopoly turing.pdf (1.26 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Licence
HAL

Describes hal-03155296 Preprint Olivier Ridoux. The Art of Picopoly. 2021. ⟨hal-03155296⟩

Dates and versions

hal-02505869 , version 1 (11-03-2020)

Licence

Identifiers

  • HAL Id : hal-02505869 , version 1

Cite

Olivier Ridoux. La machine de Turing. École d'ingénieur. France. 2020. ⟨hal-02505869⟩
460 View
419 Download

Share

  • More