Mon compte
Ma liste - 0
Catalogue
Ressources numériques
Nouveautés
Liens utiles
Mon compte
Recherche rapide
Recherche avancée
Recherche alphabétique
Historique
Information
Recherche
Auteur
Titre
Sujet
Titre de revue
Collection
Cotes BU
Cotes ENSEA
Cotes IUFM
Modifier la recherche
>
CERGY
Elargir la recherche
Sur le même sujet :
Fonctions calculables
Anthologies
Parcourir le catalogue
par auteur:
Mosconi , Jean , 1942-....
Grigorieff , Serge , 19..-....
Bourdeau , Michel , 1944-....
Rechercher sur Internet
Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)
Aperçu dans Google Books
Affichage MARC
Auteur :
Mosconi , Jean , 1942-....
Bourdeau , Michel , 1944-....
Titre :
Anthologie de la calculabilité : naissance et développements de la théorie de la calculabilité des années 1920 à 1970 , sous la direction de Jean Mosconi et Michel Bourdeau ; introduction historique par Serge Grigorieff
Editeur :
Paris : Cassini
C 2022
Description :
1 vol. (xvi-798 p.) ; 24 cm
Collection :
Nouvelle bibliothèque mathématique ; 15
ISBN:
978-2-84225-094-2 , rel.
Notes :
Notes bibliogr. Bibliogr. p. [741]-781. Index
Alors que les algorithmes s'invitent dans tous les domaines de l'activité humaine, cette anthologie de la calculabilité vient à point nommé. Le prodigieux essor de l'informatique n'aurait pas été aussi fulgurant sans les percées théoriques qui ont fait suite aux tâtonnements initiaux et dont l'histoire est ici retracée. Les recherches sur de grands problèmes de la logique mathématique - notamment celui de l'existence d'une procédure mécanique générale (un algorithme!) pour décider de la vérité d'un énoncé d'arithmétique - ont conduit, au milieu des années 1930, à trois grands modèles mathématiques équivalents de la notion informelle de calculabilité effective. Cela restera certainement comme une des grandes aventures intellectuelles du XXe siècle. Très présents dans ce livre, deux des principaux artisans de ces découvertes, Gödel et Turing, figurent d'ailleurs parmi ces grands génies scientifiques qui, comme Einstein, marquent notre imaginaire. Si, pour l'essentiel, l'histoire de la théorie de la calculabilité est assez étroitement délimitée dans le temps, nous en avons retracé les origines, depuis Babbage (vers 1840) et son projet de calculatrice universelle programmable, et nous en avons suivi les développements jusqu'en 1970 : c'est alors en effet que la correspondance de Curry-Howard entre preuves et programmes est venue éclairer l'importance du lambda-calcul de Church et que le théorème de Matiiassevitch a rattaché la théorie de la calculabilité à de grands desseins des mathématiques du XXe siècle, en mettant la dernière main à la résolution du dixième des vingt-trois problèmes de la célèbre liste proposée par Hilbert en 1900. Cette anthologie veut aider à 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, où l'on s'est soucié de faire une place aux contributions de l'école russe, trop souvent négligées. Chacun d'eux est accompagné d'une équipe composée de spécialistes internationaux. L'ensemble est précédé d'une imposante introduction de Serge Grigorieff, qui apporte sur cette histoire le point de vue du logicien informaticien contemporain.
Sujet :
Fonctions calculables
Anthologies
Exemplaires
Site
Emplacement
Cote
Type de prêt
Statut
Site de Saint-Martin
Rotonde
510.285 ANT
Prêt
Disponible
Réserver
Pour toute question,
contactez la bibliothèque
Horizon Information Portal 3.25_france_v1m© 2001-2019
SirsiDynix
Tous droits réservés.