| Titre : | Aux origines de la calculabilité (2012) |
| Auteurs : | Pierre Lescanne, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | Pour la science. Hors-série (074, 01/2012) |
| Article : | p.76-81 |
| Note générale : | Bibliographie. |
| Langues: | Français |
| Descripteurs : | |
| Résumé : | Origine de la science mathématique de la calculabilité, permettant d'élaborer des algorithmes, grâce au 10e problème de Hilbert demandant de concevoir un algorithme général capable de déterminer si une équation diophantienne quelconque peut être résolue. Définition d'un algorithme et présentation de modèles de calcul. Présentation de la démonstration du problème de Hilbert, avec les travaux de Julia Robinson et de Iouri Matiassevitch. |
| Genre : | Article de périodique |
| Nature du document : | documentaire |
CDI COLLEGE LYCEE SAINT MAGLOIRE
Bienvenue sur le portail PMB du CDI
Accueil
Se connecter
Adresse
CDI COLLEGE LYCEE SAINT MAGLOIRE2 Rue du Chanoine Boursier
35120 Dol de Bretagne