tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Recherche avancée
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Recherche par couleur
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Code HTML Copiez-collez le code ci-dessous pour l'intégrer dans une page Web.
Titre :
Alan Turing aurait 100 ans : Théorème des quatre couleurs.
Légende - Résumé :
Dans le contexte de l'année Turing, voici une série de témoignages autour des problématiques soulevées par Alan Turing.
Ici, sur le théorème des quatre couleurs, Georges Gonthier témoigne combien Alan Turing était précurseur en ce domaine.
Nom de fichier :
Inria-767_TURING_GONTHIER-fr.mp4
Titre :
Alan Turing aurait 100 ans : Théorème des quatre couleurs.
Année :
2012
Durée (min) :
00:01:52
Publications :
https://videotheque.inria.fr/videotheque/doc/767
Autres versions :
Master VF : 767
Master VEN :
Autre : Lien externe :
Lien Centre de Recherche :
Mots clés :
N° master :
767
Durée :
01 min 52 sec
IsyTag :
: - casse-tête - couleur - partie - problème - s' - siècle· - Turing
Transcription automatiqu :
terrain des quatre couleurs est un casse-tête qui a mystifie les mathématiciens pendant plus d'un siècle le problème est tout simple combien de couleurs faut-il pour que lauriers une carte plane sans que deux religions adjacente n'a la même avec un peu d'expérience on se rend compte que quatre couleurs suffisent démontrer que c'est vrai dans absolument tous les cas révélée particulièrement difficile défi qu'alan jennings était posée était un construire une machine qui puisse démontrer mathématiquement l'auteur en mille neuf cents soixante seize on avait utilisé l'ordinateur pour effectuer une partie de la démonstration parti qui demandait des calculs très longs mais on n'avait pas effectué toute la démonstration et il reste un de euh faire la correspondance entre la partie mathématique du problème et la partie calcul qui était traitée par l'ordinateur un petit peu le flambeau en utilisant tous les progrès qui ont été réalisés en informatique depuis ces trente quarante dernières années pour tenter de réaliser le rêve initial de tiourine la mécanisation de la partie des mathématiques
Le théorème des quatre couleurs est un casse-tête qui a mystifie les mathématiciens pendant plus d'un siècle· Le problème est tout simple : combien de couleurs faut-il pour colorier une carte plane sans que deux religions adjacente n'aient la même couleur avec un peu d'expérience on se rend compte que quatre couleurs suffisent démontrer que c'est vrai dans absolument tous les cas révélée particulièrement difficile défi qu'alan jennings était posée était un construire une machine qui puisse démontrer mathématiquement l'auteur en mille neuf cents soixante seize on avait utilisé l'ordinateur pour effectuer une partie de la démonstration parti qui demandait des calculs très longs mais on n'avait pas effectué toute la démonstration et il reste un de euh faire la correspondance entre la partie mathématique du problème et la partie calcul qui était traitée par l'ordinateur un petit peu le flambeau en utilisant tous les progrès qui ont été réalisés en informatique depuis ces trente quarante dernières années pour tenter de réaliser le rêve initial de tiourine la mécanisation de la partie des mathématiques
Le théorème des quatre couleurs est un casse-tête qui a mystifie les mathématiciens pendant plus d'un siècle· Le problème est tout simple : combien de couleurs faut-il pour colorier une carte plane sans que deux religions adjacente n'aient la même couleur Avec un peu d'expérience on se rend compte que quatre couleurs suffisent‚ mais démontrer que c'est vrai dans absolument tous les cas s'est révélé particulièrement difficile· défi qu'alan jennings était posée était un construire une machine qui puisse démontrer mathématiquement l'auteur en mille neuf cents soixante seize on avait utilisé l'ordinateur pour effectuer une partie de la démonstration parti qui demandait des calculs très longs mais on n'avait pas effectué toute la démonstration et il reste un de euh faire la correspondance entre la partie mathématique du problème et la partie calcul qui était traitée par l'ordinateur un petit peu le flambeau en utilisant tous les progrès qui ont été réalisés en informatique depuis ces trente quarante dernières années pour tenter de réaliser le rêve initial de tiourine la mécanisation de la partie des mathématiques
Le théorème des quatre couleurs est un casse-tête qui a mystifie les mathématiciens pendant plus d'un siècle· Le problème est tout simple : combien de couleurs faut-il pour colorier une carte plane sans que deux religions adjacente n'aient la même couleur Avec un peu d'expérience on se rend compte que quatre couleurs suffisent‚ mais démontrer que c'est vrai dans absolument tous les cas s'est révélé particulièrement difficile· Le défi qu'Alan Turing s'était posé c'était de construire une machine qui puisse démontrer mathématiquement le théorème· en mille neuf cents soixante seize on avait utilisé l'ordinateur pour effectuer une partie de la démonstration parti qui demandait des calculs très longs mais on n'avait pas effectué toute la démonstration et il reste un de euh faire la correspondance entre la partie mathématique du problème et la partie calcul qui était traitée par l'ordinateur un petit peu le flambeau en utilisant tous les progrès qui ont été réalisés en informatique depuis ces trente quarante dernières années pour tenter de réaliser le rêve initial de tiourine la mécanisation de la partie des mathématiques
Le théorème des quatre couleurs est un casse-tête qui a mystifie les mathématiciens pendant plus d'un siècle· Le problème est tout simple : combien de couleurs faut-il pour colorier une carte plane sans que deux religions adjacente n'aient la même couleur Avec un peu d'expérience on se rend compte que quatre couleurs suffisent‚ mais démontrer que c'est vrai dans absolument tous les cas s'est révélé particulièrement difficile· Le défi qu'Alan Turing s'était posé c'était de construire une machine qui puisse démontrer mathématiquement le théorème· En 1976‚ on avait utilisé l'ordinateur pour effectuer une partie de la démonstration‚ la partie qui demandait des calculs très longs· Mais on n'avait pas effectué toute la démonstration et il restait un de euh faire la correspondance entre la partie mathématique du problème et la partie calcul qui était traitée par l'ordinateur un petit peu le flambeau en utilisant tous les progrès qui ont été réalisés en informatique depuis ces trente quarante dernières années pour tenter de réaliser le rêve initial de tiourine la mécanisation de la partie des mathématiques
Le théorème des quatre couleurs est un casse-tête qui a mystifie les mathématiciens pendant plus d'un siècle· Le problème est tout simple : combien de couleurs faut-il pour colorier une carte plane sans que deux religions adjacente n'aient la même couleur Avec un peu d'expérience on se rend compte que quatre couleurs suffisent‚ mais démontrer que c'est vrai dans absolument tous les cas s'est révélé particulièrement difficile· Le défi qu'Alan Turing s'était posé c'était de construire une machine qui puisse démontrer mathématiquement le théorème· En 1976‚ on avait utilisé l'ordinateur pour effectuer une partie de la démonstration‚ la partie qui demandait des calculs très longs· Mais on n'avait pas effectué toute la démonstration et il restait un problème de faire la correspondance entre la partie mathématique du problème et la partie calcul qui était traitée par l'ordinateur· un petit peu le flambeau en utilisant tous les progrès qui ont été réalisés en informatique depuis ces trente quarante dernières années pour tenter de réaliser le rêve initial de tiourine la mécanisation de la partie des mathématiques
Le théorème des quatre couleurs est un casse-tête qui a mystifie les mathématiciens pendant plus d'un siècle· Le problème est tout simple : combien de couleurs faut-il pour colorier une carte plane sans que deux religions adjacente n'aient la même couleur Avec un peu d'expérience on se rend compte que quatre couleurs suffisent‚ mais démontrer que c'est vrai dans absolument tous les cas s'est révélé particulièrement difficile· Le défi qu'Alan Turing s'était posé c'était de construire une machine qui puisse démontrer mathématiquement le théorème· En 1976‚ on avait utilisé l'ordinateur pour effectuer une partie de la démonstration‚ la partie qui demandait des calculs très longs· Mais on n'avait pas effectué toute la démonstration et il restait un problème de faire la correspondance entre la partie mathématique du problème et la partie calcul qui était traitée par l'ordinateur· Mes travaux reprennent un petit peu le flambeau en utilisant tous les progrès qui ont été réalisés en informatique depuis ces trente ou quarante dernières années pour tenter de réaliser le rêve initial de tiourine la mécanisation de la partie des mathématiques
Le théorème des quatre couleurs est un casse-tête qui a mystifie les mathématiciens pendant plus d'un siècle· Le problème est tout simple : combien de couleurs faut-il pour colorier une carte plane sans que deux religions adjacente n'aient la même couleur Avec un peu d'expérience on se rend compte que quatre couleurs suffisent‚ mais démontrer que c'est vrai dans absolument tous les cas s'est révélé particulièrement difficile· Le défi qu'Alan Turing s'était posé c'était de construire une machine qui puisse démontrer mathématiquement le théorème· En 1976‚ on avait utilisé l'ordinateur pour effectuer une partie de la démonstration‚ la partie qui demandait des calculs très longs· Mais on n'avait pas effectué toute la démonstration et il restait un problème de faire la correspondance entre la partie mathématique du problème et la partie calcul qui était traitée par l'ordinateur· Mes travaux reprennent un petit peu le flambeau en utilisant tous les progrès qui ont été réalisés en informatique depuis ces trente ou quarante dernières années pour tenter de réaliser le rêve initial de Turing la mécanisation de la majeure partie des mathématiques·
Inria-767_TURING_GONTHIE_HD.MP4

Format : .mp4
68,9 Mo
1024 x 576 pixels
Moyenne définition - équivalent DVD
Encodage PAL .MP4 H264
5 Mbits/s
Sélection
Voir Selection
Déposer ici pour retirer de la sélection