Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Logique, informatique et paradoxes
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Logique, informatique et paradoxes

Logique, informatique et paradoxes

Jean-Paul Delahaye - Collection Pour la science

158 pages, parution le 31/08/1995

Résumé

La logique est un domaine paradoxal : alors que l'on prétend y déterminer les règles à respecter pour ne pas tomber dans des paradoxes, c'est là que l'on en rencontre le plus! Et ces paradoxes, qui font trembler les fondements des mathématiques, peuvent entraîner les calculs informatiques dans des maelströms infinis. Ce livre vous entraîne dans un parcours initiatique sur les chemins de l'indécidabilité, de l'aléatoire, de la déduction et de l'induction. Les découvertes récentes défrichent un univers où l'esprit tente de comprendre l'esprit, de le recréer et de s'en amuser.

Sommaire

Préface

1. Calculabilité et machines de Turing

Pour de nombreux problèmes, il n'existe pas d'algorithme de résolution. L'indécidabilité provient de difficultés mathématiques insurmontables.

2. L'indécidabilité en mathématiques et en physique

L'indécidabilité de certains problèmes entraîne notre incapacité à prédire l'évolution des systèmes physiques.

Gödel

3. Machines, prédictions et fin du monde

Les paradoxes de la prédiction prouvent-ils l'existence du libre arbitre, et l'imminence de la fin de l'humanité?

4. Le désordre total existe-t-il ?

Comment faire pour se comporter de manière quelconque?

5. La cryptographie quantique

Comment, grâce à la mécanique quantique, faire des billets infalsifiables, distribuer des clefs secrètes, ou effectuer un tirage à pile ou face à distance.

6. Chaînage avant et déduction logique

On aménage le chaînage avant, version moderne du modus ponens des stoïciens, pour qu'il soit efficace dans les systèmes experts.

7. Vote inconscient

Le vote inconscient pondéré, combinant oubli et hasard, accroît les choix d'un électeur.

8. Complexités

La profondeur logique selon C. Bennett mesure la complexité d'organisation.

Thermodynamique et informatique théorique

9. L'inférence inductive

Les récents modèles mathématiques de l'induction renouvellent ce thème de la philosophie scientifique.

10. Les virus

Les virus et les vers informatiques constituent-ils une forme de vie?

11. L'altruisme récompensé

Des simulations informatiques montrent qu'il vaut mieux être bon que méchant, indulgent que rancunier, réactif qu'insensible.

12. L'altruisme perfectionné

La simulation réalisée grâce aux lecteurs de Pour la Science montre qu'en plus de la gentillesse et de la réactivité, d'autres qualités facilitent la coopération.

13. Algorithmes et preuves probabilistes

Existe-t-il des énoncés mathématiques vrais à 99 pour cent?

IP=PSPACE

14. Les automates

Nombre de leurs propriétés sont indécidables, et pourtant ils constituent des instruments puissants pour produire des codes et modéliser des phénomènes naturels.

15. Les hyperensembles

Comme cela est arrivé à la notion de nombre, celle d'ensemble a été étendue.

16. Longueur d'une démonstration

Certaines démonstrations mathématiques sont très longues ; la théorie de la preuve et l'informatique théorique nous aident à comprendre pourquoi.

17. Le réalisme en mathématiques et en physique

L'auteur - Jean-Paul Delahaye

Jean-Paul Delahaye est professeur d'informatique à l'Université des sciences et technologies de Lille et chercheur au laboratoire d'informatique fondamentale du CNRS, à Lille. Il tient la rubrique "Logique et calcul" dans la revue Pour la Science, Il a publié plusieurs ouvrages dans cette collection, le plus récent étant La logique, un aiguillon pour la pensée.

Autres livres de Jean-Paul Delahaye

Caractéristiques techniques

  PAPIER
Éditeur(s) Belin
Auteur(s) Jean-Paul Delahaye
Collection Pour la science
Parution 31/08/1995
Nb. de pages 158
Format 18,6 x 24,5
Couverture Broché
Poids 434g
Intérieur Quadri
EAN13 9782902918942
ISBN13 978-2-9029-1894-2

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