Des indécidables à portée de main

Enregistré dans:
Détails bibliographiques
Publié dans: Pour la science No 468
Auteur principal: Delahaye, Jean-Paul, 1952-...., mathématicien.
Support: Article de revue
Publié: 2016.
Sujets:
Résumé: 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.
Lien: Dans: Pour la science
LEADER 00791nam a22001817a 4500
001 343995
008 161018c2016 xx |||| |||| 00| 0 ||| d
100 |a Delahaye, Jean-Paul,  |d 1952-....,  |c mathématicien. 
245 1 4 |a Des indécidables à portée de main   |c Jean-Paul Delahaye. 
260 |c 2016. 
300 |a p. 78-83. 
520 |a 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. 
650 |a Mathématiques  |x Recherche. 
650 |a Articles de périodiques 
773 0 |w 151121  |t Pour la science  |x 0153-4092  |g No 468 
993 |a Article de revue 
994 |a PS 
997 |0 343995