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.]]
[Please, visit A Virtual Machine for Exploring Space-Time and Beyond, the place where you can find more than 10.000 pictures and animations between Art and Science]
(CMAP28 WWW site: this page was created on 05/30/2021 and last updated on 10/28/2024 17:28:02 -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.