978-2-84225-094-2
Sous la direction de Jean Mosconi et Michel Bourdeau. 816 p., 50 €.
Attention ! Derniers exemplaires disponibles.
Disponible à partir du : 0000-00-00
Anthologie de la caculabilité
Sous la direction de Jean Mosconi et Michel Bourdeau. 816 p., 50 €.
Destinataire :
* Champs requis
OU Annuler
À 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.