Anthologie de la calculabilité
EAN13
9782842250942
ISBN
978-2-84225-094-2
Éditeur
CASSINI
Date de publication
Collection
Cassini
Nombre de pages
816
Dimensions
23,6 x 16,2 x 5,7 cm
Poids
1403 g
Langue
français
Fiches UNIMARC
S'identifier

Anthologie de la calculabilité

Cassini

Cassini

Offres

À 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.
S'identifier pour envoyer des commentaires.