Les métamorphoses du calcul

Gilles Dowek - Collection Essais et documents

228 pages, parution le 02/05/2018

Ajouter à une liste

Expédié sous 7 jours

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

QUANTITÉ

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

Ce dont on ne peut parler il faut l'écrire

Intelligence artificielle

Le temps des algorithmes

Informatique et sciences du numérique - édition spéciale python !

Découvrir tous les 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