Logique, informatique et paradoxes [ Livre] / Jean-Paul, Delahaye
Langue: Français ; de l'oeuvre originale, Français.Publication : Paris : "Pour la science" : Belin, 2003Description : 158 pages ; 25 cmISBN: 2902918941.Collection: Pour la science, 0224-5159Classification: 004.16 Logique mathématiqueRé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..Sujet - Nom commun: Logique symbolique et mathématiqueCurrent location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Informatique | 004.16 DEL (Browse shelf) | Available | 004.16 Logique mathématique | 015251 |
Bibliogr. p. 153-158
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.