Alan Turing
Transcription
Alan Turing
Alan Turing, un génie méconnu Père de la révolution numérique, Alan Mathison Turing est néanmoins un génie méconnu. Personnage marginal, antimilitariste travaillant pour les services secrets, ce scientifique exceptionnel reste un homme qui fait débat : condamné pour homosexualité, il n’a été réhabilité par la reine d’Angleterre Elisabeth II qu’en 2013. Mais qui était Alan Turing, le génie de l’informatique qui s’est donné la mort en 1954 ? Cette sélection de documents vous propose d’accompagner et de prolonger l’exposition consacrée à Alan Turing à la Bibliothèque universitaire de Lens (juin 2012). Elle a été mise à jour en février 2015 à l’occasion de la sortie du film Imitation Game, de Morten Tyldum, adaptation de la biographie Alan Turing ou l'énigme de l'intelligence de Andrew Hodges. Crédits photo : BU Artois. Exposition Alan Turing. CC-BY-NC-SA Alan Turing HODGES, Andrew. Alan Turing ou L’énigme de l’intelligence. Paris : Payot, 1988. BU LENS 509.2 TUR H LASSEGUE, Jean. Turing. Paris : Les Belles lettres, 1998. BU BETHUNE 511.3 LAS LEAVITT, David. Alan Turing : l’homme qui inventa l’informatique. Paris : Dunod, 2007. BU BETHUNE 004 LEA LEMIRE, Laurent. Alan Turing : l’homme qui a croqué la pomme. Paris : Hachette Littératures, 2004. BU LENS F LEM Les théories de Turing TURING, Alan. La Machine de Turing. Paris : Ed. du Seuil, 1995. BU LENS 004.09 TUR Théories sur le fondement des mathématiques GIRARD, Jean-Yves ; GODEL, Kurt ; NAGEL, Ernest ; NEWMAN, James. Le théorème de Gödel. Paris : Éd. du Seuil, 1997. BU LENS 511.3 THE MATIIASSEVITCH, Youri. Le dixième problème de Hilbert : son indécidabilité. Paris : Masson, 1995. BU LENS 511.3 MAT SMULLYAN, Raymond. Les théorèmes d'incomplétude de Gödel. Paris ; Milan ; Barcelone : Masson, 1993. BU LENS 511.3 SMU La calculabilité AUTEBERT, Jean-Michel. Calculabilité et décidabilité : une introduction. Paris ; Milan ; Barcelone : Masson, 1992. BU LENS 004.015 1 AUT DOWEK, Gilles. Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité. Palaiseau : Éd. de l'École polytechnique. Paris : diff. Ellipses, 2010. BU BETHUNE 511.3 DOW MOUNIER-KUHN, Pierre-Eric. L'informatique en France, de la seconde guerre mondiale au Plan Calcul : l'émergence d'une science. Paris : Presses de l'Université Paris-Sorbonne, 2010. BU LENS 004.09 MOU RIDOUX, Olivier. Calculateurs, calculs, calculabilité. Paris : Dunod, 2007. BU BETHUNE 004.015 RID La cryptographie BARTHELEMY, Pierre. Cryptographie : principes et mises en œuvre. Paris : Hermès science, 2012. BU LENS 005.82 BAR BENSOUSSAN, Alain ; LE ROUX, Alain. Cryptologie et signature électronique : aspects juridiques. Paris : Hermès science publications, 1999. BU DOUAI 346.09 CRY DUBERTRET, Gilles. Initiation à la cryptographie. Paris : Vuibert, 2002. BU LENS 005.82 DUB DURAND-RICHARD, Marie-Josée ; GUILLOT, Philippe. Cryptologie et mathématiques : une mutation des enjeux. Paris : L'Harmattan, 2014. BU BETHUNE 005.82 CRY KAEO, Merike. Sécurité des réseaux. Paris : Campus Press France, 2000. BU LENS 658.478 KAE MORAIN, François. Cryptologie : majeure d'informatique. Palaiseau : École polytechnique, Département d'informatique, 2005. BU LENS 005.82 MOR STINSON, Douglas. Cryptographie : théorie et pratique. Paris : Vuibert, 2003. BU LENS 005.82 STI WRIXON, Fred B. Langages secrets : codes, chiffres et autres cryptosystèmes : des hiéroglyphes à Internet. Köln : Könemann, 2000. BU LENS F WRI L’intelligence artificielle ALLIOT, Jean-Marc ; SCHIEX, Thomas ; BRISSET, Pascal. Intelligence artificielle et informatique théorique. Toulouse : Cépaduès-éd., 2002. BU LENS 006.3 INT CAZENAVE, Tristan. Intelligence artificielle : une approche ludique. Paris : Ellipses, 2011. BU LENS 006.3 CAZ MARQUIS, Pierre ; PAPINI, Odile ; PRADE, Henri. Représentation des connaissances et formalisation des raisonnements. Toulouse : Cepaduès, 2014. BU LENS 006.3 PAN 1 La philosophie et les mathématiques HANSON, Norwood Russel. Modèles de la découverte : enquête sur les fondements conceptuels de la science. Chennevières-sur-Marne : Dianoïa, 2001. BU LENS 501 HAN LOMBARDI, Gabriel. L’aventure mathématique : liberté et rigueur psychotiques. Paris : Éd. du Champ lacanien, 2005. BU LENS 510.1 LOM SCHMITZ, François. Wittgenstein, la philosophie et les mathématiques. Paris : Presses universitaires de France, 1988. BU ARRAS 193 WIT S SERFATI, Michel. De la méthode : recherches en histoire et philosophie des mathématiques. Besançon : Presses universitaires Franche-Comté, 2011. BU LENS 510.9 DEL WITTGENSTEIN, Ludwig. Cours sur les fondements des mathématiques. Mauvezin : Éd. TER, 1995. BU ARRAS 193 WIT Romans et BD ASIMOV, Isaac. Le grand livre des robots. Paris : Omnibus, 2000. BU LENS F ASI DOXIADIS, Apostolos ; PAPADIMITRIOU Christos ; PAPADATOS Alekos. Logicomix. Paris : Vuibert, 2010. BU LENS F PAP HARRISON, Harry : MINSKY, Marvin. Le Problème de Turing. Paris : Librairie générale française, 1998. BU LENS F HAR LANGENIEUX-VILLARD, Philippe. La pomme d'Alan Turing. Paris : Éd. H. d'Ormesson, 2013. BU BETHUNES R LAN STEPHENSON, Neal. Le Code Enigma. Paris : Librairie générale française : Payot, 2001. BU LENS F STE 1 STEPHENSON, Neal. Le réseau Kinakuta. Paris : Librairie générale française : Payot, 2002. BU LENS F STE 2 Dvds LANG, Fritz. Métropolis. [Dvd], Paris : MK2 [éd., distrib.], 2004. BU LENS F LAN SCOTT, Ridley. Blade runner : the final cut. [Dvd], S.l. : Warner Home vidéo, 2007. BU ARRAS GB SCO BLA ; BU BETHUNE DVD BLA Vidéo à la demande Présentation et modalités d’accès à ce nouveau service : http://portail-bu.univartois.fr/medias/medias.aspx?INSTANCE=EXPLOITATION&PORTAL_ID=mediatheque_numerique.xml VAN WAEREBEKE, Denis. Comment les maths ont vaincu Hitler : la drôle de guerre d’Alan Turing. France : Arte France : Les Films D’ici, 2014.