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 dans les Ordinateurs et les Calculs Flottants ne sont pas sûrs.]]
[Please, visit A Virtual Machine for Exploring Space-Time and Beyond, the place where you can find thousands of pictures and animations between Art and Science]
(CMAP28 WWW site : this page was created on 30/05/2021 and last updated on 06/21/2024 18:31:39 -CEST-)
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.