logo librairie

CONNEXION



Mot de passe oublié?
Inscription
image mon panier
image TangenteMag
image Jouer Bridge
image logo Club Tangente


POLE
Bibliothèque Tangente
2015
164 pages
ISBN:9782848841984

19,80 €

Bib 55 - Les démonstrations

Collectif POLE

Présentation

Dossier : Les fondements de la preuve
La possibilité de convaincre avec une absolue certitude fait à elle seule la spécificité des mathématiques, la différenciant des autres sciences. Tout au long d'une longue histoire, qui remonte aux Grecs de l'Antiquité et qui continue à s'écrire aujourd'hui, la recherche d'une justification, d'une preuve, d'une démonstration, a constitué l'activité qui caractérise le mathématicien.

Dossier : Les grands classiques
Les différents modes de démonstration sont aujourd'hui bien établis. Certains datent de l'Antiquité, d'autres sont nés en France au XVIIe siècle. Le raisonnement par récurrence, qui est selon Henri Poincaré « une propriété de l'esprit lui-même », est plus récent. Tout l'art est de comprendre quelle technique de raisonnement s'appliquera à un problème donné...

Dossier : De nouvelles formes de preuves
Si les bases de la logique sont désormais bien établies, de nouveaux outils pour la démonstration continuent à être introduits en mathématiques. L'arrivée des ordinateurs pose plusieurs questions fondamentales: les algorithmes utilisés produisent-ils toujours un résultat, ou peuvent-ils boucler sans fin ? Peut-on distinguer un problème « facile » d'un problème « difficile»?

Dossier : Les apports de l’informatique
L'informatique théorique est la science qui nous a le plus obligés à repenser la notion de preuve. Les analogies entre démonstration mathématique et programme informatique sont maintenant bien établies. L'ordinateur offre des moyens de calculs inédits. Il devient même possible de certifier qu'une preuve mathématique est effectivement valide.