Discussion :

[Hinault Romaric]

Commémoration du centenaire d’Alan Turing
« il était l’un des premiers à établir ce qu’était un ordinateur » pour le directeur de Microsoft Research

Ce samedi 23 juin 2012 marquera le centième anniversaire d’Alan Turing, un pionnier de l’informatique moderne.

Considéré comme « le père de l’ordinateur », Alan Turing est un mathématicien britannique né en 1912. Il est connu pour avoir percé le code de l’encodeuse Enigma utilisée par les nazis lors de la Seconde Guerre mondiale pour chiffrer les messages.

En 1950, il créa le célèbre « Test de Turing », qu’il formula dans l’article « Computing Machinery and Intelligence », dans lequel il qualifie un ordinateur d’intelligent si celui-ci est capable lors d’une conversation avec un humain de convaincre ce dernier qu’il parle à un autre humain.


Alan Turing

Alan Turing est mort en 1954 à l’âge de 42 ans seulement, après avoir croqué une pomme empoisonnée au cyanure. Il fut condamné en 1952 pour « outrage aux mœurs » à cause de son homosexualité encore interdite en grande Bretagne, et opta pour une castration chimique plutôt que pour l’emprisonnement.

Pendant sa courte existence, Turing a pu poser les bases de l’informatique moderne, décrit les concepts de l’intelligence artificielle et bien plus.

Pour le centenaire d’Alan Turing, plusieurs conférences et événements sont prévus dans le monde au travers de « l’année Alan Turing ».

Cette commémoration a été l’occasion pour Wired d’interviewer Rick Rashid, directeur de recherche de Microsoft Research sur l’illustre mathématicien.

Pour Rick Rashid, « l’ensemble du domaine de l’informatique a une dette énorme envers Alan Turing. Il était vraiment l’un des premiers à établir ce qu’était un ordinateur ».

Bien que les systèmes actuels aient assez évolué, passer le test de Turing représente encore un objectif important pour Rick. « Dans de nombreux domaines, nous sommes désormais en mesure de le faire, comme des jeux d’échecs, de questions-réponses, ou d’autres analyses », explique le patron de Microsoft Research qui conclut : « Donc, nous faisons des progrès. Mais, cela ne signifie pas que nous construisions des machines intelligentes ».

Bien que Microsoft Research ne mette pas un accent particulier sur la construction des dispositifs pouvant passer le test de Turing, le service essaye de créer des solutions pouvant résoudre les problèmes que seul l’être humain serait capable de faire. « Regardez ce que fait Kinect, il essaye de suivre les humains qui se déplacent dans une pièce. Ce niveau de reconnaissance est le genre de chose que l'on ne pensait possible que par un humain jusqu’aujourd’hui », déclare Rick Rashid.


Enfin, interrogé sur comment encourager les enfants à aspirer être des prochains Turing, Rick estime que le système éducatif enseigne l’informatique vers la fin du secondaire. Pourtant, « les enfants de six, sept et huit ans sont parfaitement capables de comprendre les concepts de base de l’informatique, et même les concepts de base de quelque chose comme la machine de Turing ».


Rick Rashid

Heureux 100e anniversaire au « père de l’ordinateur ». Plusieurs des activités prévues dans le monde pour la semaine Turing sont disponibles sur cette page.


Source : Wired.com

[elmcherqui]

Ralala ces gouvernements avec leurs lois stupides .... perdre une perle comme ca a cause d'une histoire d'homoséxualité me désole .je n'immagine pas si on l'avait laissé tranquille une dizaine d'autres années .

[Freem]

Surtout que le type en question a quand même très largement contribué à la victoire de l'alliance de son gouvernements dans la 2nde...

[Xinu2010]

On est pas les seuls à trouver son sort totalement abérant, le premier ministre Britanique avait dû présenter des excuses publique suite a une pétition de la communauté scientifique. Mais le mal est fait...

[SpiceGuid]

Ça fait au moins 20 ans que le test de Turing est "Consigned to history" :
Why The Turing Test is AI's Biggest Blind Alley
(source: Turing 1990 Colloquium)

À propos de son homosexualité tout n'est pas très clair pour moi. S'il a eu des amants mineurs (moins de 21 ans à l'époque) l'accusation d'homosexualité est requalifiable en accusation de pédophilie (à l'époque on ne distinguait pas) ce qui est encore aujourd'hui considéré comme un crime. Même si la loi était clairement homophobe il faudrait connaître le détail des faits qui lui sont reprochés pour juger s'il y a eu pédophilie ou seulement homosexualité.

Surtout que le type en question a quand même très largement contribué à la victoire de l'alliance de son gouvernements dans la 2nde...

On peut estimer que le choix entre castration chimique et emprisonnement c'est plutôt un traitement de faveur. Normalement on ne choisi pas: c'est l'emprisonnement éventuellement assorti de quelque remise de peine si on accepte la castration chimique.

Petite note historique: en 1920 Schönfinkel inventait la logique combinatoire et les super-combinateurs SKI. Plus tard on établira que le système de Schönfinkel est Turing-complet. D'ailleurs il existe des compilateurs qui transforment le code source en combinateurs SKI étendus.

J'ajouterais même ce commentaire: qui, aujourd'hui, fait des recherches sur la machine de Turing ? Personne. Parce que ce modèle est dénué d'intérêt. Impossible de programmer ou de modéliser quoi que se soit avec. Alors qu'au contraire la recherche sur le lambda-calcul et le lamda-cube est toujours active (impossible de citer tous les liens sur le sujet tellement il y en a).

[Ryu2000]

J'ai eu une prof de Théorie du Langage / Analyse Syntaxique / etc qui était fan de ce scientifique, elle nous à raconté brièvement sa biographie.

Machine de Turing en LEGO :
http://youtu.be/cYw2ewoO6c4

Si il n'avait pas été tué de cette façon, il ne serait probablement pas devenu aussi célèbre.

[Xinu2010]

J'ajouterais même ce commentaire: qui, aujourd'hui, fait des recherches sur la machine de Turing ? Personne. Parce que ce modèle est dénué d'intérêt. Impossible de programmer ou de modéliser quoi que se soit avec. Alors qu'au contraire la recherche sur le lambda-calcul et le lamda-cube est toujours active (impossible de citer tous les liens sur le sujet tellement il y en a).

Pourtant ça n'empêche pas les universités à continuer de nous enseigner les bien fait de ces machines, en nous faisant écrire des algo pour compter des batons.

[psychadelic]

J'ai eu une prof de Théorie du Langage / Analyse Syntaxique / etc qui était fan de ce scientifique, elle nous à raconté brièvement sa biographie.

Machine de Turing en LEGO :
http://youtu.be/cYw2ewoO6c4

Si elle n'avait pas été tué de cette façon, il ne serait probablement pas devenu aussi célèbre.

Ta prof est morte?? pour que Turing soit célèbre ???

Le CNRS rend hommage à Turing avec une vraie Machine de Turing en lego => http://www.dailymotion.com/CNRS#video=xrn0yi

La "machine" présentée sur Youtube utilise des circuits électroniques...

[wokerm]

normalement d'un point de vue biologique le neurone transmet l'information electriquement au long du cylindre en faisant entrer les ions na+ au travers des porte voltaique sur la membrane cellulaire et en faisant entrer le k+ au travers des porte voltaique k+ le signal se transmet jusqu'a la fin du neurone et la les ion ca+ entre a l'interieur pour pousser les pochette contenant de l'acytilcoline afin qu'il se sorte de la membrane cellulaire dans le vide entre le neurone et la cellule , 02 particule de l'acytilcoline se mettent dans des endroit précis pour ouvrir les canaux chimique afin de faire passer les ion na+ et l'infomration

[Invité]

J'ajouterais même ce commentaire: qui, aujourd'hui, fait des recherches sur la machine de Turing ? Personne. Parce que ce modèle est dénué d'intérêt.

Ah ben ça c'est sûr, vaut pas tripette ce Turing, même pas un thésard pour s'y intéresser!

Sérieusement, une machine de Turing, c'est un formalisme mathématique. Sa force, c'est sa généralité et sa simplicité, mais comme tout formalisme, une fois qu'il est exposé, il n'y a plus rien à chercher, ou à trouver.

Francois

[mitkl]

L'INRA a consacré un reportage d'une trentaine de minutes très intéressant au sujet de Turing, je vous conseille vivement de la visionner : http://interstices.info/jcms/int_67976/le-modele-turing

[psychadelic]

L'INRA a consacré un reportage d'une trentaine de minutes très intéressant au sujet de Turing, je vous conseille vivement de la visionner : http://interstices.info/jcms/int_67976/le-modele-turing

tres bonne vidéo retraçant l'ensemble des travaux de Turing !
merci, ça nous change de l'obscurantisme de quelques post ici...

[sybil]

c'té pas babbage ? ( avec accent caillera)

[Invité]

Ça fait au moins 20 ans que le test de Turing est "Consigned to history" :
Why The Turing Test is AI's Biggest Blind Alley
(source: Turing 1990 Colloquium)

Le "test de Turing" n'a pas grand chose à voir avec les "machines de Turing" (enfin si, il y a le mot "Turing" dans les deux).

Le test, c'était une tentative de définition de l'IA, via des critères que devait remplir une "machine intelligente", formulée en 1950 (c'est à dire au tout début des calculateurs). Comme beaucoup de critères similaires, il n'a jamais été pris très au sérieux, et le titre de l'article est un peu "journalistique" (tout comme l'article initial d'ailleurs: la contribution de Turing à l'informatique, c'est la formalisation de la calculabilité, pas le "test"...).

Francois

[iefbr14]

il serait bon d'avoir aussi une petite pensée émue pour Charle Babbage :

Charles Babbage mathématicien, inventeur, visionnaire britannique du XIXe siècle qui fut l'un des principaux précurseurs de l'informatique.
Il fut le premier à énoncer le principe d'un ordinateur. C'est en 1834, pendant le développement d'une machine à calculer destinée au calcul et à l'impression de tables mathématiques (machine à différences) qu'il eut l'idée d'y incorporer des cartes du métier Jacquard, dont la lecture séquentielle donnerait des instructions et des données à sa machine, et donc imagina l'ancêtre mécanique des ordinateurs d'aujourd'hui.

et Ada Lovelace :

née le 10 décembre 1815 et morte le 27 novembre 1852 à Londres, fille de lord Byron, est principalement connue pour avoir traduit et annoté une description de la machine analytique de Charles Babbage.
Dans ses notes, on trouve le premier algorithme publié, destiné à être exécuté par une machine, ce qui fait parfois considérer Ada Lovelace comme « le premier programmeur de l'histoire ».

[Bluedeep]

Dans ses notes, on trouve le premier algorithme publié, destiné à être exécuté par une machine, ce qui fait parfois considérer Ada Lovelace comme « le premier programmeur de l'histoire ».

Algorithme qui était, il me semble, celui de calcul des nombres de Bernouilli par récurrence. (à confirmer).