
L'intelligence et le calcul
De Gödel aux ordinateurs quantiques
Jean-Paul Delahaye - Collection Bibliothèque scientifique
Ré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.
L'avis du libraire Eyrolles
Ne soyez pas effrayés par ce futur technologique que l'on nous promet. Il est compréhensible grâce aux nouveaux concepts que les mathématiques et l'informatique ont forgés pour nous. Il n'est pas triste si l'on sait calculer en souriant comme nous y invite ce livre.
L'auteur - Jean-Paul Delahaye
Jean-Paul Delahaye est professeur d'informatique à l'Université des sciences et technologies de Lille et chercheur au laboratoire d'informatique fondamentale du CNRS, à Lille. Il tient la rubrique "Logique et calcul" dans la revue Pour la Science, Il a publié plusieurs ouvrages dans cette collection, le plus récent étant La logique, un aiguillon pour la pensée.
Autres livres de Jean-Paul Delahaye
Sommaire
- Introduction
- La complexité et le calcul
- Les lois de tout ou rien
- La compression des données
- La ressemblance mathématisée
- Mathématiques et philosophie
- Le complexe surgit-il du simple ?
- L'ordinateur du futur sera-t-il quantique ?
- Les ordinateurs quantiques
- Les lois nouvelles de l'information quantique
- Logique de la téléportation
- Un kit universel de calcul
- La loi de Moore
- L'ordinateur intelligent ?
- Les ordinateurs mathématiciens
- Le monde des machines
- L'intelligence humaine à nouveau dominée ?
- Aléas du hasard informatique
- Raisonnements mathématiques
- Certitudes sans démonstrations ?
- Raccourcis dans les démonstrations
- Champernowne, et quelques autres
- Négligeable, mais troublant
- Indécidabilité et contradictions
- Les propositions indécidables
- Promenade au pays des indécidables
- Ignorance ou indécidabilité?
- Les vérités mathématiques
- Statut mathématique des contradictions
- Bibliographie
Caractéristiques techniques
PAPIER | |
Éditeur(s) | Belin, Pour la science |
Auteur(s) | Jean-Paul Delahaye |
Collection | Bibliothèque scientifique |
Parution | 06/03/2002 |
Nb. de pages | 192 |
Format | 18,5 x 24,5 |
Couverture | Broché |
Poids | 531g |
Intérieur | Noir et Blanc |
EAN13 | 9782842450403 |
ISBN13 | 978-2-84245-040-3 |
Avantages Eyrolles.com
Nos clients ont également acheté
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Algorithmique et informatique appliquée Intelligence artificielle
- Sciences Techniques Robotique
- Sciences Techniques Intelligence artificielle I.A. appliquée
- Sciences Techniques Intelligence artificielle Systèmes experts
- Sciences Techniques Intelligence artificielle Réseaux de neurones
- Sciences Techniques Automatique