| Titre : |
Logique, informatique et paradoxes |
| Type de document : |
texte imprimé |
| Auteurs : |
Jean-Paul Delahaye, Auteur |
| Editeur : |
Paris : Pour la science |
| Année de publication : |
1993 |
| Importance : |
153 P. |
| Présentation : |
Broché. couv. ill. en coul., ill. |
| Format : |
25 cm |
| ISBN/ISSN/EAN : |
978-2-902918-94-2 |
| Langues : |
Français (fre) |
| Catégories : |
(01.65) Histoire et philosophie des sciences
|
| Mots-clés : |
logic mathematical computer algebra mathematical methods in physics cryptography quantum complex systems |
| Index. décimale : |
01.65 |
| Résumé : |
1 calculability et machines de turing - 2 l'indecidabilite en mathematiques et en physique godel - 3 machines, predictions et fin du monde - 4 le desordre total existe-t-il? - 5 la cryptographie quantique - 6 chainage avant et deduction logique - 7 vote inconscient - 8 complexites thermodynamique et informatique theorique - 9 l'inference inductive - 10 les virus - 11 l'altruisme recompense - 12 l'altruisme perfectionne - 13 algorithmes et preuves probabilistes ip=pspace - 14 les automates - 15 les hyperensembles - 16 longueur d'une demonstration - 17 le realisme en mathematiques et en physique |
Logique, informatique et paradoxes (1993)
