Services
Commerciaux
14, rue de Provigny
94236 CACHAN
CEDEX
FRANCE
Tél.: +33 (0)1 47 40
67 00
Fax: +33 (0)1 47 40
67 02
Notice
Cet ouvrage décrit les nouvelles avancées de la théorie du calcul et de la logique. Il examine spécialement la théorie algorithmique de l'information (complexité de Chaitin-Kolmogorov) : un objet contient une grande quantité d'information s'il ne possède pas de description courte. Ainsi, sont exposées les solutions que cette approche fournit à deux problèmes anciens et cruciaux de philosophie scientifique : la définition de la notion de suite aléatoire et la distinction formelle entre complexité organisée et complexité aléatoire. En outre, quatre chapitres s'ajoutent à cette étude des rapports entre information, complexité et hasard. Le premier sur le problème de l'induction, le deuxième sur les nouvelles formes des théorèmes d'incomplétude de Gödel, le troisième et quatrième sur les questions de calculabilité en physique. Enfin, un dernier chapitre est consacré aux paradoxes sémantiques.
1. L'information 2. Les suites aléatoires 3. Cinq classes d'idées 4. La complexité organisée 5. Modèles formels pour l'induction 6. L'importance des indécidables 7. Calculabilité et physique 8. Le monde est-il récursif ? 9. La solution des paradoxes sémantiques Bibliographie - Index