Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Pensée symbolique et argument
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Pensée symbolique et argument

Pensée symbolique et argument

Michel Bourdeau - Collection Philosophies

136 pages, parution le 13/09/1999

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

Sommaire

Les machines peuvent-elles penser ?

PREMIÈRE PARTIE

LA PRÉHISTOIRE DE L’INTELLIGENCE ARTIFICIELLE

La métamathématique et le problème de la décision

La préhistoire du programme de Hilbert

La métamathématique : l’idée de la solution, 23

Le déplacement de l’intuition, 25

La mise en uvre du programme : l’idé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 : l’algorithme d’Euclide

La machine de Turing : l’analyse du calcul

Description de la machine

Nouvelle version de l’algorithme d’Euclide

Deux contrecoups : les conséquences métamathématiques

Les conséquences psychologiques

DEUXIÈME PARTIE

ÉLÉMENTS D’UNE THÉORIE DE L’INTUITION

De la psychologie cognitive à la théorie de l’intuition

Nécessité d’un nouveau départ

Husserl et la pensée symbolique

Une nouvelle approche de la philosophie de l’esprit

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 d’inventer, 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 l’intuition

Intuitionnisme, constructivisme et théorie de la signification

Vérité et expérience

Quelques objections

Conclusion

Indications bibliographiques

Voir tout
Replier

Caractéristiques techniques

  PAPIER NUMERIQUE
Éditeur(s) PUF
Auteur(s) Michel Bourdeau
Collection Philosophies
Parution 13/09/1999 01/01/1999
Nb. de pages 136 136
Format 11.5 x 17.6 -
Couverture Broché -
Poids 128g -
Contenu - PDF
ePub
EAN13 9782130503217 9782130721871
9782130684374

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav.client@eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription