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.