(L') intelligence et le calcul [ Livre] : de Gödel aux ordinateurs quantiques / Jean-Paul, Delahaye

Auteur principal: Delahaye, Jean-Paul, 1952-....Langue: Français.Publication : Paris : Belin, 2002Description : 1 vol. (192 p.) ; 25 cmISBN: 284245040X; 284245040X.Collection: Bibliothèque scientifique, 0224-5159Classification: F 4 1 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
F 4 1 DEL (Browse shelf) Available F 4 1 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.

Powered by Koha