Anthologie de la calculabilité
Michel Bourdeau - Collection Cassini
832 pages, parution le 27/04/2022
Résumé
La théorie de la calculabilité est avec l'électronique la source de l'informatique.
C'est pour donner une définition précise de la notion de "calcul automatique" ou d'"algorithme" et répondre à la question de Hilbert "les mathématiques peuvent-elles être réduites à un calcul automatique ?" que Turing a imaginé en 1936 sa "machine".
La réponse à cette question est NON, comme les mathématiciens Gödel et Church l'avaient prouvé avant Turing, mais la démonstration de ce dernier est limpide, et c'est la machine de Turing qui a servi de modèle aux ordinateurs d'aujourd'hui. En même temps, Turing répondait aussi par la négative à une question qui n'avait pas encore été posée, et pour cause : la vérification des programmes est-elle automatisable ?
Autour des articles historiques publiés par Gödel et Turing,ce livre réunit les textes fondateurs de la théorie de la calculabilité, soigneusement traduits en français (de l'allemand, du russe, de l'anglais), annotés et commentés. Si deux ou trois noms se détachent, les autres acteurs n'en sont pas moins importants.
C'est pour donner une définition précise de la notion de "calcul automatique" ou d'"algorithme" et répondre à la question de Hilbert "les mathématiques peuvent-elles être réduites à un calcul automatique ?" que Turing a imaginé en 1936 sa "machine".
La réponse à cette question est NON, comme les mathématiciens Gödel et Church l'avaient prouvé avant Turing, mais la démonstration de ce dernier est limpide, et c'est la machine de Turing qui a servi de modèle aux ordinateurs d'aujourd'hui. En même temps, Turing répondait aussi par la négative à une question qui n'avait pas encore été posée, et pour cause : la vérification des programmes est-elle automatisable ?
Autour des articles historiques publiés par Gödel et Turing,ce livre réunit les textes fondateurs de la théorie de la calculabilité, soigneusement traduits en français (de l'allemand, du russe, de l'anglais), annotés et commentés. Si deux ou trois noms se détachent, les autres acteurs n'en sont pas moins importants.
L'auteur - Michel Bourdeau
Michel Bourdeau est directeur de recherche émérite au CNRS. Spécialiste d'Auguste Comte et du positivisme, il a notamment coédité, avec Laurent Clauzade et Frédéric Dupin, les Cours de philosophie positive, leçons 46-51 d'Auguste Comte (2012).
Autres livres de Michel Bourdeau
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Vuibert |
| Auteur(s) | Michel Bourdeau |
| Collection | Cassini |
| Parution | 27/04/2022 |
| Nb. de pages | 832 |
| Format | 23.6 x 16.2 |
| Couverture | Relié |
| Poids | 1403g |
| EAN13 | 9782842250942 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
