Logique, informatique et paradoxes [ Livre] / Jean-Paul, Delahaye

Auteur principal: Delahaye, Jean-Paul, 1952-....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ématique
Current 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

Powered by Koha