1. Sciences pures
  2. Informatique théorique, Mathématiques discrètes

EAN13
9782842250942
Éditeur
CASSINI
Date de publication
27 avril 2022
Collection
Cassini
Nombre de pages
816
Dimensions
23,6 x 16,2 x 5,7 cm
Poids
1403 g
Langue
fre

Anthologie De La Calculabilité

Jean Mosconi, Michel Bourdeau

CASSINI

Prix public : 50,00 €

À l’heure où tout le monde ne parle que d’algorithmes, cette anthologie de la calculabilité vient à point nommé. Elle vise à retracer, au contact direct avec les sources, les étapes initiales décisives d’une théorie du calcul. Elle propose un ensemble de vingt-quatre textes depuis celui de Babbage sur sa machine aux différences, en passant par Behmann, Skolem, Hilbert, Ackermann, Gödel, Church, Kleene, Turing, Post, Rosser, Markov, Kolmogorov-Uspenski, Howard et d'autres, jusqu'à Matiyasevich en 1970. Chaque texte est accompagné d’une présentation et de notes destinées à en faciliter la lecture, rédigées par une équipe composée de spécialistes internationaux. L’ensemble est précédé d’une introduction de Serge Grigorieff, qui apporte sur cette histoire le point de vue du logicien informaticien contemporain.
Trouver ou

Offres