Avec quelques décennies d’avance. Herbert Simon et Alan Newell prévoyaient qu’en 10 ans, un ordinateur deviendrait champion du monde d’échecs et un autre serait capable de prouver un nouveau et important théorème mathématique. Des prévisions avec 30 années d’erreur pour les
Le terme est employé pour la première fois lors du workshop de Darmouth College. Le workshop de Darmouth College, organisé par John McCarthy, Marvin Minsky, Nathaniel Rochester et Claude Shannon est le premier événement scientifique où est employé le terme intelligence
Une façon de définir l’intelligence des machines, de savoir si une machine peut penser. Alan Turing imagine ce test pour déterminer la capacité d’une machine à avoir un comportement réellement intelligent. Il donne ainsi une définition opérationnelle, algorithmique, de l’intelligence. Ce
Alan Turing invente un modèle mathématique de l’ordinateur pour résoudre le problème de la décidabilité. Selon Turing, répondre à la décidabilité (ou calculabilité) équivaut à pronostiquer la terminaison de l'exécution d'un programme informatique sur sa machine. Celle-ci ressemble à une
De quoi lire de chez soi des livres exposés dans des grandes bibliothèques, aux pages demandées d’avance. Paul Otlet, un bibliographe belge imagine dans son Traité de documentation un télescope électrique, permettant de lire de chez soi des livres exposés dans
La « preuve » en deux théorèmes que vérité et prouvabilité sont deux concepts profondément différents. Les théorèmes de Kurt Gödel viennent répondre à la question de la décidabilité posée par Hilbert et sont un événement important dans l'histoire de la logique mathématique.
C’est le premier robot dépeint dans un film. Le film de science-fiction Metropolis met en scène un robot, double d’une jeune paysanne, qui déclenche le chaos dans Berlin en 2026. Il inspirera par la suite le look Art-Déco de C-3PO dans
Est-il possible de définir une langue formelle unique pour exprimer toutes les vérités et démonstrations ? Parmi les 23 problèmes que propose le mathématicien allemand David Hilbert à l'occasion d'un congrès international de mathématiciens à Paris (dont plusieurs ne sont pas