| Titre : | Des indécidables à portée de main (2016) |
| Auteurs : | Jean-Paul Delahaye, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | Pour la science (468, 10/2016) |
| Article : | p.78-83 |
| Note générale : | Bibliographie, webographie. |
| Langues: | Français |
| Descripteurs : | logique mathématique |
| Résumé : | Le point sur la notion d'indécidabilité en mathématiques : définition, l'utilisation de la logique mathématique pour démontrer que certains énoncés sont indécidables c.-à-d. ni vrai ni faux ; les théorèmes d'incomplétudes de Gödel ; les machines de Turing et les fonctions non-calculables ; la fonction de Rado ; les recherches récentes de Scott Aaronson et Adam Yedidia. |
| Nature du document : | documentaire |
| Genre : | Article de périodique |
Annie Le Guennec & Fabienne Dubost ______ CDI Saint-François-Xavier
Bienvenue sur le portail PMB du CDI du Collège-Lycée-Prépa Saint-François-Xavier Vannes
Accueil
Adresse
Annie Le Guennec & Fabienne Dubost ______ CDI Saint-François-Xavier3 rue Thiers
56000
Vannes FRANCE
02 97 47 12 80 cdisfx.vannes@wanadoo.fr
contact