Les démonstrations et les algorithmes

Introduction à la logique et à la calculabilité

Gilles Dowek - Collection Physique

196 pages, parution le 05/10/2010

Ajouter à une liste

Indisponible

Résumé

Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul.

Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gödel, le théorème de semi-décidabilité de la démontrabilité, ... - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même.

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

Les métamorphoses du calcul

Le temps des algorithmes

Découvrir tous les livres de Gilles Dowek

Sommaire

Les démonstrations
Les algorithmes
Les démonstrations et les algorithmes

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Les éditions de l'Ecole polytechnique
Auteur(s)	Gilles Dowek
Collection	Physique
Parution	05/10/2010
Nb. de pages	196
Format	17 x 24
Couverture	Broché
Poids	360g
Intérieur	Noir et Blanc
EAN13	9782730215695
ISBN13	978-2-7302-1569-5