Aux origines de la calculabilité / Pierre Lescanne / Pour la science (2012) in Pour la science. Dossier, 074 (01/2012)

Public ISBD Aucun avis sur cette notice. [article]  inPour la science. Dossier > 074 (01/2012) Titre : Aux origines de la calculabilité Type de document : texte imprimé Auteurs : Pierre Lescanne, Auteur Editeur : Pour la science, 2012 Article : p.76-81 Note générale : Bibliographie. Langues : Français (fre) Descripteurs : démonstration mathématique / équation / problème mathématique 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. Nature du document : documentaire Genre : Article de périodique [article] Aux origines de la calculabilité [texte imprimé] / Pierre Lescanne, Auteur . - Pour la science, 2012 . - p.76-81. Bibliographie. Langues : Français (fre) in Pour la science. Dossier > 074 (01/2012) Descripteurs : démonstration mathématique / équation / problème mathématique 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. Nature du document : documentaire Genre : Article de périodique