Interversion de quantificateurs
Les quantificateurs universel et existentiel ne peuvent pas être permutés en général. Cet article recense quelques cas où, de façon exceptionnelle, l'interversion se fait bien.
Les quantificateurs universel et existentiel ne peuvent pas être permutés en général. Cet article recense quelques cas où, de façon exceptionnelle, l'interversion se fait bien.
Pour établir une implication en mathématiques, le secret est de "viser la cible". Cet article explique de quoi il s'agit et comment procéder. Le tout s'appuie sur des exemples gradués, extraits de situations rencontrées dans les deux premières années d'enseignement supérieur scientifique.
La formule de Stirling décrit le comportement asymptotique de la factorielle d'un entier. Elle est surprenante en raison de la présence - pour le moins inattendue - des constantes π et e.