Logique, informatique et paradoxes [ Livre] / Jean-Paul, Delahaye
Langue: Français.Publication : Paris : "Pour la science" : Belin, 2003Description : 158 p. ; 25 cmISBN: 2902918941.Collection: Pour la science, 0224-5159Classification: F 4 1 Logique mathématiqueRésumé: Sommaire Calculabilité et machines de Turing L'indécidabilité en mathématiques et en physique Gödel Machines, prédictions et fin du monde Le désordre total existe-t-il ? La cryptographie quantique Chaînage avant et déduction logique Vote inconscient Complexités, thermodynamiques et informatiques théoriques L'inférence inductive Les virus L'altruisme récompensé L'altruisme perfectionné Algorithmes et preuves probabilistes Les automates Les hyperensembles Longueur d'une démonstration Le réalisme en mathématiques et en physique.Sujet - Nom commun: Logique symbolique et mathématiqueCurrent location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Informatique | F 4 1 DEL (Browse shelf) | Available | F 4 1 Logique mathématique | 015251 |
Bibliogr. p. 153-158
Sommaire
Calculabilité et machines de Turing
L'indécidabilité en mathématiques et en physique Gödel
Machines, prédictions et fin du monde
Le désordre total existe-t-il ? La cryptographie quantique
Chaînage avant et déduction logique
Vote inconscient
Complexités, thermodynamiques et informatiques théoriques
L'inférence inductive
Les virus
L'altruisme récompensé
L'altruisme perfectionné
Algorithmes et preuves probabilistes
Les automates
Les hyperensembles
Longueur d'une démonstration
Le réalisme en mathématiques et en physique