Turing (1912-1954) : Du langage formel aux formes vivantes

Alan Turing aurait eu cent ans le 23 juin 2012.
Il est considéré comme l’un des plus grands penseurs anglais du 20e siècle pour avoir apporté sa contribution dans 3 domaines majeurs : la logique mathématique, les sciences informatiques et la biologie. Père de l’informatique et auteur de la machine de Turing, il est également agent au service du renseignement britannique et a joué un rôle clé dans le décryptage des codes secrets allemands, décisif pour l’issue de la Seconde Guerre Mondiale.
Cette exposition met en avant ses idées qui ont contribué à former le monde actuel, à travers l’informatique, l’intelligence artificielle, la modélisation mathématique du vivant, la réflexion philosophique sur des problèmes fondamentaux de la connaissance et de la vie.