Théorème (Trésor de la langue française)

De Wicri Mathématiques
Trésor de la
Langue Française
Collection TLF.png

Cette page reprend l'article « Théorème » du Trésor de la langue française[1]. Elle complète la page encyclopédique « Théorème ».

Elle reprend l'information donnée dans le TLFi, avec une mise en page un peu différente, la résolution des abréviations et un ajout de liens directs ou sémantiques.'

Définitions, lexicographie

Logique, mathématiques

Définition
[Par opposition à axiome, postulat] Proposition qui peut être démontrée par un raisonnement logique à partir de faits donnés ou d'hypothèses justifiables.
Syntagmes
Théorème réciproque; théorème d'arithmétique, de géométrie, de mécanique; théorème de Thalès; démontrer un théorème.
Exemples
  • Il serait fort extraordinaire, et par cela seul improbable, que tant de géomètres, depuis plus de vingt siècles, se fussent trompés en trouvant irréprochable la démonstration du théorème de Pythagore, telle qu'on la lit dans Euclide (Cournot, Fond. connaiss., 1851, p. 113).
  • C'est dans une note de 1921, qu'E. Borel a jeté les premières bases de la théorie des jeux stratégiques. Il y présentait un cas particulier de ce que l'on appelle le théorème fondamental (en vertu duquel un maximum se trouve égaler un minimum) dont la démonstration fut donnée en 1928 par J. Von Neumann (Hist. gén. sc., t. 3, vol. 2, 1964, p 117).

Par extension

Définition
Énoncé reposant sur une démonstration rigoureuse
Exemples
  • À la dernière dominicale, il soutenait que tout désir a droit à sa satisfaction; tous de trouver les corollaires du théorème, et le plafond n'a pas croulé! (Péladan, Vice supr., 1884, p. 166).
  • L'opuscule de la crise de l'esprit, sans doute le seul théorème intellectuel issu de la guerre qui tient compte de toutes les phases de l'événement (Du, Journal, 1922, p. 139).

Voir aussi

Notes
  1. Définitions lexicographiques et étymologiques de Théorème du CNRTL.