Une vidéo sur le théorème de Church-Turing

Un peu de publicité pour une belle initiative : les 5 minutes Lebesgues, des exposés de maths en cinq minute chrono… pour le plus grand nombre! Vous pouvez-même vous abonner.

Cette semaine un exposé qui démontre qu’il n’existe pas de programme  qui pourrait répondre si n’importe quel programme s’arrête ou pas. J’en avais un peu parlé en cours, là vous en aurez une  démonstration qui ne demande que deux minutes !

 

 

Laisser un commentaire