Group items tagged

"Alan Mathison Turing, OBE, FRS (23 juin 1912 - 7 juin 1954), est un mathématicien, cryptologue et informaticien britannique. Il est auteur de l'article fondateur de la science informatique1 qui allait donner le coup d'envoi à la création des calculateurs universels programmables (ordinateurs). Il y présente sa machine de Turing et les concepts modernes de programmation et de programme"

Alan Mathison Turing, OBE, FRS (23 juin 1912 - 7 juin 1954), est un mathématicien, cryptologue et informaticien britannique. Il est auteur de l'article fondateur de la science informatique1 qui allait donner le coup d'envoi à la création des calculateurs universels programmables (ordinateurs). Il y présente sa machine de Turing et les concepts modernes de programmation et de programme2,3. Il est également à l'origine de la formalisation des concepts d'algorithme et de calculabilité qui ont profondément marqué cette discipline. Son modèle a contribué à établir définitivement la thèse Church-Turing qui donne une définition mathématique au concept intuitif de fonction calculable.

La machine de Turing est un modèle de machine abstrait introduit en 1936 par le chercheur anglais Alan Turing [...] il propose une réponse [...] [au] problème de la décidabilité soit en substance: existe-t-il un algorithme qui décide si un énoncé formel dans un système logique est valide ou non.

Video duree 33 minutes - "Alan Turing, hommage à un génie persécuté Alan Turing aurait eu 100 ans ce samedi. Le père de l'informatique moderne a vaincu les codes secrets nazis et défini les critères de l'intelligence artificielle. Condamné en 1952 pour homosexualité, le Britannique s'est suicidé à 41 ans"

Plus d'un milliard d'ordinateurs dans le monde en 2010. Près de deux milliards annoncés en 2014. Mais qui est à l'origine de l'informatique ? L'histoire a retenu le nom d'Alan Mathison Turing (1912-1954). En effet, Turing imagina le premier système informatique moderne. L'invention ne peut pourtant pas lui être entièrement attribuée : elle est le fruit de nombreux talents conjugués.

Voici une vidéo d'une machine de Turing réalisée en Lego avec une explication de Éric Fleury.

A Turing machine (TM) is a very simple kind of computer, * but despite its simplicity it can do anything * that the computer you are reading this on can * (it will probably be slower, but it will work).

une explication simple et amusante de l´histoire et le fonctionnement de la machine de Turing

The village of Torri is mentioned for the first time in a document dated in 1073 with the sentence: "Actum in castro ubi Ture dicitur" (Cais, "Contea di Ventimiglia"). The origin of the settlement of Torri Superiore is uncertain, and may date back to the late 13th century, a time of great social and religious unrest.