Résumé
Le projet de l'intelligence artificielle a souvent été résumé par la formule : prenez soin de la syntaxe, et la sémantique prendra soin d'elle-même
Caractéristiques
Sommaire
Les machines peuvent-elles penser ?
PREMIÈRE PARTIE
LA PRÉHISTOIRE DE LINTELLIGENCE ARTIFICIELLE
La métamathématique et le problème de la décision
La préhistoire du programme de Hilbert
La métamathématique : lidée de la solution, 23
Le déplacement de lintuition, 25
La mise en uvre du programme : lidée de système formel, 30
Les métaconcepts, 36
Turing et la mécanisationdu calcul
De Hilbert à Turing via Gödel
La pratique du calcul : lalgorithme dEuclide
La machine de Turing : lanalyse du calcul
Description de la machine
Nouvelle version de lalgorithme dEuclide
Deux contrecoups : les conséquences métamathématiques
Les conséquences psychologiques
DEUXIÈME PARTIE
ÉLÉMENTS DUNE THÉORIE DE LINTUITION
De la psychologie cognitive à la théorie de lintuition
Nécessité dun nouveau départ
Husserl et la pensée symbolique
Une nouvelle approche de la philosophie de lesprit
Défense et illustration de la pensée aveugle
Logique et algèbre
La nature de la pensée symbolique : mathématique et langage
Le dévoiement du langage
Plaidoyer pour la pensée symbolique : un cortège de protestations, 94
Calcul et algorithme, 96
Algorithme et art dinventer, 97
Le lieu du désaccord
Intuition et vérité
Le retour du refoulé
Les limites de la formalisation et la question de leur portée philosophique
Gödel et lintuition
Intuitionnisme, constructivisme et théorie de la signification
Vérité et expérience
Quelques objections
Conclusion
Indications bibliographiques
Autour de l'auteur
L'auteur est agrégé de philosophie, chargé de recherche au CNRS
