Décrit les nouvelles avancées de la théorie du calcul et de la logique et 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 de description courte.