LÖVENHEIM-SKOLEM (THÉORÈME DE —)
LÖVENHEIM-SKOLEM (THÉORÈME DE —) Théorème fondamental du calcul des prédicats affirmant en substance que, si une expression de ce calcul est valide dans un domaine quelconque, elle est valide dans un domaine dénombrable ; on en tire la conséquence paradoxale que l’arithmétique des nombres transfinis admet un modèle dénombrable.
Liens utiles
- Denis Guedj: Théorème du perroquet
- théorème.
- THÉORÈME
- Dans sa pièce, L'Impromptu de Paris, parue en 1937, Giraudoux fait dire à ses personnages : «Le mot comprendre n'existe pas au théâtre (...). Le vrai public ne comprend pas, il ressent. (...) Ceux qui veulent comprendre au théâ- tre sont ceux qui ne comprennent pas le théâtre. (..) Le théâtre n'est pas un théorème mais un spectacle ». À votre avis, cette définition contredit-elle l'intention de Molière qui assigne à la comédie une fonction didactique ?
- LE THÉORÈME DE L'ÉNERGIE CINÉTIQUEL2POINTS ESSENTIELSe Sous l'action d'une force ou d'un couple, un système se met enmouvement et acquiert de la vitesse donc de l'énergie.