Les métamorphoses du calcul - Gilles Dowek - Librairie Eyrolles

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Les métamorphoses du calcul
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Les métamorphoses du calcul

Les métamorphoses du calcul

Gilles Dowek - Collection Essais et documents

228 pages, parution le 02/05/2018

Résumé

Depuis Euclide, on définit une démonstration comme un raisonnement, construit à l'aide d'axiomes et de règles de déduction. La révolution qui a consisté, depuis les années 1970, à remettre en cause la prééminence du raisonnement sur le calcul, nous a amené à repenser la notion même de démonstration. Elle renouvelle le dialogue des mathématiques avec les sciences de la Nature, comme la physique ou la biologie, et en particulier la vieille question de la déraisonnable efficacité des mathématiques dans ces sciences. Elle nous laisse enfin entrevoir de nouvelles manières de résoudre des problèmes mathématiques, s'affranchissant de certaines limites arbitraires que la technologie du passé a imposé à la taille des démonstrations : les mathématiques sont peut-être en train de partir à la conquête d'espaces jusqu'alors inaccessibles.

L'auteur - Gilles Dowek

Gilles Dowek est un chercheur, informaticien et écrivain français, né en 1965. Il un ancien élève de L'École polytechnique (promotion X1985). L’auteur est titulaire d'un doctorat en informatique de l'Université Paris 7 et est spécialisé dans le domaine de la logique et de la vérification formelle des programmes. Il est également directeur de recherche à l'Institut National de Recherche en Informatique et en Automatique (INRIA).

En parallèle de sa carrière scientifique, Gilles Dowek s'est distingué en tant qu'auteur, abordant des sujets complexes tels que l'intelligence artificielle et les algorithmes, tout en explorant la nature du langage et de la communication humaine. Au-delà de ses écrits, Gilles Dowek est un chercheur reconnu dans le domaine de l'informatique. Ses travaux sur la vérification formelle des programmes ont contribué à renforcer la fiabilité et la sécurité des logiciels. En tant que directeur de recherche à l'INRIA, il participe activement au développement de projets innovants dans le domaine de l'intelligence artificielle et de la logique.

Dans cet ouvrage Intelligence artificielle, il explore les notions d'apprentissage automatique et d'intelligence des machines. Dowek dissèque les mythes et les réalités entourant l'IA, tout en mettant en garde contre les idées reçues et les espoirs excessifs placés en cette technologie. Il souligne la nécessité de comprendre les limites de l'IA et d'envisager son rôle dans la société avec précaution et discernement.

Photographie © Wikipedia

Autres livres de Gilles Dowek

Caractéristiques techniques

  PAPIER
Éditeur(s) Le Pommier
Auteur(s) Gilles Dowek
Collection Essais et documents
Parution 02/05/2018
Nb. de pages 228
Format 13.5 x 20
Couverture Broché
Poids 262g
Intérieur Noir et Blanc
EAN13 9782746509108

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
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription