Présentation de l'éditeur 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. Amazon.fr Vous vous inquiétez de savoir si votre ordinateur est plus intelligent que vous ? Rassurez-vous : Jean-Paul Delahaye a fait le calcul, et il trouve que vous êtes (pour l'instant) imbattable. Vous vous demandez s'il y a plusieurs sortes de hasard ? Si l'on peut, en mathématiques, être certain de quelque chose ? Si l'on a raison de dire d'une situation embrouillée qu'elle est complexe ? Alors, vous êtes un accro de l'informatique et de la logique, et ce livre est pour vous. De la téléportation à la compression des données, de la notion de machine à celle de démonstration, vous y trouverez maintes occasions de vous prendre la tête, et autant de vous amuser. Ceci, en comparant, par exemple, la puissance de l'informatique militaire à celle des consoles de jeu (p. 86). Vous pourrez aussi vous amuser à choisir vous-même la meilleure manière de faire une démonstration mathématique (p. 129) : de "Si c'était vrai ça se saurait, donc c'est faux" à "Je sais que j'ai vu la démonstration quelque part", en passant par "Quelqu'un veut-il vraiment voir la démonstration ?" Un vrai plaisir pour les matheux. --Victor Gasquet Quatrième de couverture 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. Jean-Paul Delahaye, auteur du Fascinant nombre Pi et des Merveilleux nombres premiers est professeur d'informatique à l'université des sciences et technologies de Lille et chercheur au Laboratoire d'informatique fondamentale du CNRS, à Lille. Il écrit la rubrique «Logique et calcul» dans la revue Pour la Science. Biographie de l'auteur Jean-Paul Delahaye, auteur du Fascinant nombre Pi et des Merveilleux nombres premiers est professeur d'informatique à l'université des sciences et technolog