0 avis
Indécidables à portée de main (Des) / Jean-Paul Delahaye
Article
Les énoncés dont on ne peut prouver ni qu'ils sont vrais ni qu'ils sont faux semblent moins rares qu'on ne l'imaginait : de tels indécidables , redoutés par les mathématiciens, ont été trouvés avec des problèmes portant sur de petites machines de Turing.
Voir le numéro de la revue «Pour la science, 468, 01/10/2016»
Autres articles du numéro «Pour la science»