Anthologie de la calculabilité : naissance et développements de la théorie de la calculabilité des années 1920 à 1970
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 init...
保存先:
| 第一著者: | |
|---|---|
| その他の著者: | , |
| フォーマット: | Livre papier |
| 言語: | Français |
| 出版事項: |
Paris :
Cassini
C 2022.
|
| シリーズ: | Nouvelle bibliothèque mathématique
15 |
| 主題: | |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 03377nam a22002537a 4500 | ||
|---|---|---|---|
| 001 | 930434 | ||
| 008 | 220517t20222022xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN262415372 | ||
| 020 | |a 9782842250942 (relié) | ||
| 024 | |a 9782842250942 | ||
| 041 | 0 | |a fre | |
| 100 | 1 | |a Mosconi, Jean, |d 1942- | |
| 245 | 1 | 0 | |a Anthologie de la calculabilité : |b naissance et développements de la théorie de la calculabilité des années 1920 à 1970 |c sous la direction de Jean Mosconi et Michel Bourdeau ; introduction historique par Serge Grigorieff. |
| 260 | |a Paris : |b Cassini. | ||
| 260 | |c C 2022. | ||
| 300 | |a 1 volume (xvi-798 pages) ; |c 24 cm. | ||
| 490 | 1 | |a Nouvelle bibliothèque mathématique |v 15 | |
| 504 | |a Bibliographie pages [741]-780. Notes bibliographiques. Index | ||
| 520 | |a 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 | ||
| 650 | |a Fonctions calculables | ||
| 650 | |a Anthologies | ||
| 700 | 1 | |a Bourdeau, Michel, |d 1944-...., |c philosophe. |4 pbd | |
| 700 | 1 | |a Grigorieff, Serge, |d 19..-...., |c mathématicien. |4 aui | |
| 997 | |0 930434 |1 Livre papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, 511.3 ANT | ||