جزییات کتاب
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 GasquetQuatrième de couvertureSans 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.