VERIFICATIONS, DEMONSTRATIONS ET INFINIS :
- Une vérification n'est pas une démonstration !
- Une démonstration "manipule" globalement et implicitement une infinité de cas,
alors qu'une vérification ne peut porter que sur un nombre fini d'entre-eux...
- La recherche de contre-exemples, lorsque cela a un sens.
- Voir le Théorème de Pythagore.
[RETOUR]
VERIFICATIONS, DEMONSTRATIONS ET INFINIS :
CMAP (Centre de Mathématiques APpliquées) UMR CNRS 7641, École polytechnique, Institut Polytechnique de Paris, CNRS, France
[Site Map, Help and Search [Plan du Site, Aide et Recherche]]
[The Y2K Bug [Le bug de l'an 2000]]
[Real Numbers don't exist in Computers and Floating Point Computations aren't safe. [Les Nombres Réels n'existent pas dans les Ordinateurs et les Calculs Flottants ne sont pas sûrs.]]
[N'oubliez pas de visiter Une Machine Virtuelle à Explorer l'Espace-Temps et au-delà où vous trouverez plus de 10.000 images et animations à la frontière de l'Art et de la Science]
(Site WWW CMAP28 : cette page a été créée le 30/05/2021 et mise à jour le 10/12/2024 14:32:35 -CET-)
Copyright © Jean-François COLONNA, 2021-2024.
Copyright © CMAP (Centre de Mathématiques APpliquées) UMR CNRS 7641 / École polytechnique, Institut Polytechnique de Paris, 2021-2024.