Bibliothèque Tangente. N° 55. Des calculs à n’en plus finir. p. 104-107.
Auteur : Ledent Jérémy
Résumé
La descente infinie de Fermat, qui combine raisonnement par l’absurde et récurrence, mobilise la notion d’infini. On peut aller plus loin et faire intervenir l’infini pour démontrer des théorèmes concrets d’arithmétique. Cet article est centré sur la question de l’arrêt d’un algorithme, qui est centrale en informatique.
Notes
Cet article est publié sous la rubrique « Savoirs ».
Il fait partie du dossier : De nouvelles formes de preuves dans Bibliothèque Tangente n° 55 – Les démonstrations.
Données de publication
Éditeur Editions POLE Paris , 2015 Collection Bibliothèque Tangente Num. 55 Format 17 cm x 24 cm, p. 104-107
ISBN 2-84884-198-2 EAN 9782848841984 ISSN 2263-4908
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19
Type chapitre d’un ouvrage, vulgarisation, popularisation Langue français Support papier
Classification