Brochure 743
Il est facile, si l'on n'y prend garde, de tomber dans le piège d'un raisonnement subtilement erroné. Plusieurs paradoxes reposent sur de telles manipulations. Des esprits curieux vont alors explorer les conséquences des règles de la logique, par exemple pour résoudre un problème d'apparence impossible dont il semble que toutes les données soient manquantes.
Attention : dernières pièces disponibles !
Date de disponibilité:
Dossier : C’est impossible, on l’a montré
De nombreux problèmes datant de l'Antiquité ont été prouvés insolubles, alors même qu'ils étaient bien posés. Certains sont devenus de grands classiques.
Dossier : Variations autour de la notion de preuve
Les sciences progressent souvent en posant des questions qui reflètent l'intuition de leur auteur. En mathématiques, ces questions reçoivent le nom de conjectures. Parfois des démonstrations sont fournies, mais si difficiles à reproduire qu'un doute subsiste sur leur validité. L’outil informatique peut alors être d'un grand secours.
Dossier : Ils existent, mais où sont-ils?
En mathématiques, il est possible de démontrer que des objets existent sans jamais les exhiber. On parle alors de preuves non constructives. Cela pose sous un angle nouveau la question de l'existence en mathématique: suffit-il de définir un concept pour lui donner vie, ou doit-on explicitement le construire ?
Dossier : Jouer avec l’impossible