Anthologie de la calculabilité - Naissance et dévoppement de la théorie de la calculabilité des années 1920 à 1970 - Grand Format

Jean Mosconi

,

Michel Bourdeau

Note moyenne 
Alors que les algorithmes s'invitent dans tous les domaines de l'activité humaine, cette anthologie de la calculabilité vient à point nommé. Le prodigieux... Lire la suite
50,00 €
Expédié sous 3 à 6 jours
Livré chez vous entre le 2 avril et le 5 avril
En librairie

Résumé

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 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 imposante introduction de Serge Grigorieff, qui apporte sur cette histoire le point de vue du logicien informaticien contemporain.

Caractéristiques

  • Date de parution
    14/04/2022
  • Editeur
  • Collection
  • ISBN
    978-2-84225-094-2
  • EAN
    9782842250942
  • Format
    Grand Format
  • Présentation
    Relié
  • Nb. de pages
    798 pages
  • Poids
    1.4 Kg
  • Dimensions
    15,5 cm × 23,4 cm × 5,5 cm

Avis libraires et clients

Avis audio

Écoutez ce qu'en disent nos libraires !

À propos des auteurs

JEAN MOSCONI est professeur honoraire à l'Université Paris 1 Panthéon-Sorbonne, membre de l'Institut d'histoire et de philosophie des sciences et des techniques (IHPST). MICHEL BOURDEAU est membre de l'Institut d'histoire et de philosophie des sciences et des techniques (IHPST). SERGE GRIGORIEFF est professeur émérite à l'université Paris Cité et membre de l'Institut de recherche en informatique fondamentale (IRIF).

Des mêmes auteurs

Les clients ont également aimé

Derniers produits consultés

Anthologie de la calculabilité - Naissance et dévoppement de la théorie de la calculabilité des années 1920 à 1970 est également présent dans les rayons

50,00 €