Anthologie De La Calculabilite


français | 27-04-2022 | 832 pages

9782842250942

Livre


50,00€

  Commander
 Product store stocks

   en stock chez le fournisseur

   Commandez en ligne

   Récupérez votre commande en magasin




Brève description / annotation

La théorie de la calculabilité est avec l'électronique la source de l'informatique. C'est pour donner une définition précise de la notion de « calcul automatique » ou d'« algorithme » et répondre à la question de Hilbert « les mathématiques peuvent-elles être réduites à un calcul automatique ? » que Turing a imaginé en 1936 sa « machine ». La réponse à cette question est NON, comme les mathématiciens Gödel et Church l'avaient prouvé avant Turing, mais la démonstration de ce dernier est limpide, et c'est la machine de Turing qui a servi de modèle aux ordinateurs d'aujourd'hui. En même temps, Turing répondait aussi par la négative à une question qui n'avait pas encore été posée, et pour cause : la vérification des programmes est-elle automatisable ? Autour des articles historiques publiés par Gödel et Turing,ce livre réunit les textes fondateurs de la théorie de la calculabilité, soigneusement traduits en français (de l'allemand, du russe, de l'anglais), annotés et commentés. Si deux ou trois noms se détachent, les autres acteurs n'en sont pas moins importants.

Détails

EAN :9782842250942
Auteur(trice): 
Editeur :Cassini
Date de publication :  27-04-2022
Format :Livre
Langue :français
Hauteur :234 mm
Largeur :156 mm
Epaisseur :57 mm
Poids :1403 gr
Stock :en stock chez le fournisseur
Nombre de pages :832
Collection :  Nouvelle Bibliotheque Mathematique