Promotion Anthologie de la caculabilité Agrandir l'image

Anthologie de la caculabilité

978-2-84225-094-2

Sous la direction de Jean Mosconi et Michel Bourdeau. 816 p., 50 €. 

(Voir la table des matières.)

Présentation

47,39 €

47,39 €

Présentation

À 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.

Commentaires

Donnez votre avis

Anthologie de la caculabilité

Anthologie de la caculabilité

Sous la direction de Jean Mosconi et Michel Bourdeau. 816 p., 50 €. 

(Voir la table des matières.)

Donnez votre avis

14 livres dans la même collection