No video

“Le génie interrompu d’Alan Turing” par Bernard Chazelle

  Рет қаралды 6,318

Société Mathématique de France - SMF

Société Mathématique de France - SMF

Күн бұрын

Les ponts, les avions, et les bicyclettes ont été construits bien avant qu’une théorie scientifique soit à même d’expliquer leur fonctionnement. L’ordinateur fait figure d’exception, étant en effet une des rares technologies dont la théorie a précédé la réalisation. En 1936, Alan Turing écrit le texte fondateur de l’informatique, qui est le sujet de cette conférence. Il faudra attendre une dizaine d’années avant que le premier ordinateur ne voie le jour. Formé aux mathématiques et à la physique à l’université de Cambridge, Turing se distingue rapidement par l’originalité et l’éclectisme de sa pensée. On lui doit des contributions scientifiques majeures dans des disciplinées aussi variées que la théorie des nombres, la logique, la biologie, la cryptographie, les statistiques, et l’intelligence artificielle.
Alan Turing aura connu une vie courte et mouvementée, refusant de se plier aux normes rigides d’une société dont l’intolérance le conduira au suicide à l’âge de 41 ans. De son œuvre scientifique, l’histoire retiendra deux grands chapitres. D’une part, la conception de l’ordinateur moderne, une découverte à l’origine de la plus grande révolution technologique que le monde ait connu depuis le XIXème siecle ; d’autre part, le déchiffrement du code secret nazi. A cet égard, Churchill n’hésitera pas à designer Turing comme l’individu ayant contribué le plus à la victoire alliée pendant la deuxième guerre mondiale.
Cette conférence s’efforcera d’expliquer l’innovation radicale du papier de Turing de 1936. Alors que l’approche dominante de l’époque était d’amarrer la notion de calcul au formalisme de la logique, c’est au mathématicien Alan Turing de proposer que la perspective à adopter n’est pas celle du logicien mais de l’ingénieur : selon lui, le calcul est avant tout affaire de «machine». Les conséquences ne se font pas attendre. Non seulement l’approche «mécanique» de Turing permet d’étendre et de simplifier les résultats célèbres de Gödel sur l’incomplétude des systèmes formels mais, surtout, elle ouvre la voie vers les ordinateurs électroniques et l’algorithmique qui les gouverne.
Conférence du cycle « Un texte, un mathématicien » de la Société Mathématique de France. Le 19 mars 2014 à la Bibliothèque Nationale de France.

Пікірлер: 11
@renaudpontier
@renaudpontier Жыл бұрын
Vraiment dommage que le conférencier soit si peu éloquent et peu clair sur un sujet passionnant mais qui demande beaucoup de rigueur et, en premier lieu, une très grande précision et constance dans le vocabulaire. Ce qui n'est malheureusement pas le cas dans cette conférence.
@barmsoon
@barmsoon 3 ай бұрын
inconvenant
@thebatman6991
@thebatman6991 2 жыл бұрын
Très confus. .A se demander s il pigé ce dont il parle.
@cecileboivin6872
@cecileboivin6872 7 күн бұрын
je pense pas
@alakhamb6222
@alakhamb6222 3 жыл бұрын
Et comme le chinois c'est une langue qu'on peut apprendre, et dont la BELLE efficacité est surprenante!
@Pegasus51
@Pegasus51 10 ай бұрын
Une machine est une machine, l'informatique n'est un qu'un traitement de l'information c'est seulement l'évolution des machines. et le théorème des machines c'est un théorème de fonctionnement. aux début des machines et des outils il y a un élément constructeur qui est l'êtres humains/humanoïde/animal : ça commence avec homo habilis pour les hominidé. (mais il y a aussi d'autres construction, machine dans les règnes biologique) et y'a même de la construction bien sur dans l'univers mais la biologie a acquis la faculté de diriger la construction. et les maths seuls ne sont pas suffisante pour parler de ça car tout ce qui est, est du ressort de la science tout court. donc un fonctionnement doit répondre aux question suivante ! comment sont les choses, comment il fait. comment ils vas, comment ils va là ou ils va etc ... tout simplement ! néanmoins ce qui essentiel a tout ça est d'identifier et de déterminer les choses pour choses, en l'identification n'est pas que une action passive mais une action actives c'est ainsi que quelque part au début est c'est bien le logos et c'est maitrisable et c'est sans doute la seul truc maitrisable bien qu'il s'adapte aussi aux fonctionnement de ce qu'il nomme et aide et fait fonctionnemer en ce constituant comme le principal structurant. mais c'est plus qu'une information c'est le constituant (initial).
@elargentino5748
@elargentino5748 4 ай бұрын
Tout ce lourd pavé pour ne rien dire finalement
@dominiquehandelsman9333
@dominiquehandelsman9333 Жыл бұрын
19:20 Vous oubliez Georges Boole, non ?
@andre-pierremazingarbe6091
@andre-pierremazingarbe6091 Жыл бұрын
😢 Ce conférencier a sans doute tout oublié du sujet. Il est inaudible dans tous les sens du terme. Tinouce
@mrbenson63
@mrbenson63 8 ай бұрын
Vraiment très mauvais
@Socrate2525
@Socrate2525 3 жыл бұрын
C'est du chinois 💔🥺
"Le symbolisme mathématique : des figures aux nombres et à leurs transfigurations" par P. Cartier
1:38:51
Société Mathématique de France - SMF
Рет қаралды 4,3 М.
“Paul Langevin, le mouvement brownien et l’apparition du bruit blanc” par Jean Pierre Kahane
1:33:40
Société Mathématique de France - SMF
Рет қаралды 7 М.
Joker can't swim!#joker #shorts
00:46
Untitled Joker
Рет қаралды 40 МЛН
👨‍🔧📐
00:43
Kan Andrey
Рет қаралды 11 МЛН
Harley Quinn's revenge plan!!!#Harley Quinn #joker
00:59
Harley Quinn with the Joker
Рет қаралды 28 МЛН
If Barbie came to life! 💝
00:37
Meow-some! Reacts
Рет қаралды 74 МЛН
De l'origine de nos ordinateurs : la machine de Turing
1:08:50
Marc Raynaud
Рет қаралды 739
Les math de l'intelligence ... artificielle
53:02
Clubmath
Рет қаралды 34 М.
Le fonctionnement de la machine ENIGMA - Les Grandes Énigmes #02
15:50
Fractales et autosimilarité - Autour de la notion de dimension
1:04:17
Le Temps des Sciences
Рет қаралды 22 М.
"Hermite et les mystères de l'exponentielle" par François Charles
1:33:16
Société Mathématique de France - SMF
Рет қаралды 15 М.
Le génie interrompu d'Alan Turing -  Bernard Chazelle
59:39
puppa seb
Рет қаралды 12 М.
“Fermat, Mersenne, factorisation et nombres parfaits” par Daniel Perrin
1:39:22
Société Mathématique de France - SMF
Рет қаралды 5 М.
Langage mathématique - Alain Connes
40:36
Collège de France
Рет қаралды 93 М.
"Paul Erdös et l’anatomie des nombres entiers" par Gérald Tenenbaum
1:31:00
Société Mathématique de France - SMF
Рет қаралды 12 М.
Joker can't swim!#joker #shorts
00:46
Untitled Joker
Рет қаралды 40 МЛН