L' intelligence et le calcul : de Gödel aux ordinateurs quantiques [ Livre] / Jean-Paul, Delahaye
Langue: Français ; de l'oeuvre originale, Français.Publication : Paris : Belin, 2002Description : 1 vol. (192 p.) ; 25 cmISBN: 284245040X; 284245040X.Collection: Bibliothèque scientifique, 0224-5159Classification: 004.16 Logique mathématiqueRésumé: Sans pouvoir décrire le futur (activité incertaine qu'il faut laisser aux auteurs de science-fiction) mille questions nous pressent. Quel est le rapport entre hasard et calcul ? L'ordinateur peut-il démontrer des théorèmes mathématiques intéressants ? Ne serions-nous que des machines à calculer et si oui qu'en résulte-t-il logiquement ? Que permettrait la mise au point des ordinateurs quantiques ? Un argument fondamental nous autoriserait-il dès aujourd'hui à dire que la téléportation est impossible ? Peut-on mathématiser la notion de simple et de complexe et, si oui, quelles en sont les conséquences ? Le monde ne serait-il qu'un grand calcul ? De nouvelles pratiques des mathématiques sont-elles rendues possibles par les ordinateurs ? Qu'est-ce que la certitude mathématique ? L'ignorance et l'indécidabilité sont-elles une même chose ? Qui est concerné par l'indécidabilité logique ? De tout cela ce livre vous entretient, pour que nous puissions penser ensemble à ce futur, mystérieux et inquiétant, mais compréhensible avec les nouveaux outils et concepts que les mathématiques et l'informatique ont récemment forgés pour nous..Sujet - Nom commun: Logique informatique | Informatique -- mathématiques| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | 004.16 DEL (Browse shelf) | Available | 004.16 Logique mathématique | 020709 |
Sans pouvoir décrire le futur (activité incertaine qu'il faut laisser aux auteurs de science-fiction) mille questions nous pressent. Quel est le rapport entre hasard et calcul ? L'ordinateur peut-il démontrer des théorèmes mathématiques intéressants ? Ne serions-nous que des machines à calculer et si oui qu'en résulte-t-il logiquement ? Que permettrait la mise au point des ordinateurs quantiques ? Un argument fondamental nous autoriserait-il dès aujourd'hui à dire que la téléportation est impossible ? Peut-on mathématiser la notion de simple et de complexe et, si oui, quelles en sont les conséquences ? Le monde ne serait-il qu'un grand calcul ? De nouvelles pratiques des mathématiques sont-elles rendues possibles par les ordinateurs ? Qu'est-ce que la certitude mathématique ? L'ignorance et l'indécidabilité sont-elles une même chose ? Qui est concerné par l'indécidabilité logique ? De tout cela ce livre vous entretient, pour que nous puissions penser ensemble à ce futur, mystérieux et inquiétant, mais compréhensible avec les nouveaux outils et concepts que les mathématiques et l'informatique ont récemment forgés pour nous.