Kalam cosmological argumentThe Kalam cosmological argument is a modern formulation of the cosmological argument for the existence of God. It is named after the Kalam (medieval Islamic scholasticism) from which its key ideas originated. William Lane Craig was principally responsible for giving new life to the argument, due to his The Kalām Cosmological Argument (1979), among other writings. The argument's key underpinning idea is the metaphysical impossibility of actual infinities and of a temporally past-infinite universe, traced by Craig to 11th-century Persian Muslim scholastic philosopher Al-Ghazali.
Suite régularisanteEn mathématiques, une suite régularisante est une suite de fonctions régulières utilisées afin de donner une approximation lisse de fonctions généralisées, le plus souvent par convolution afin de lisser les discontinuités. Une suite de fonctions tests ( C à support compact) sur est dite régularisante si, pour tout indice : le support de est inclus dans une boule avec : les fonctions sont donc de plus en plus resserrées autour de l'origine.
Semi-continuitéEn analyse mathématique, la semi-continuité est une propriété des fonctions définies sur un espace topologique et à valeurs dans la droite réelle achevée = R ∪ {–∞, +∞} ; il s'agit d'une forme faible de la continuité. Intuitivement, une telle fonction f est dite semi-continue supérieurement en x si, lorsque x est proche de x, f(x) est soit proche de f(x), soit inférieur à f(x). Pour définir semi-continue inférieurement, on remplace « inférieur à » par « supérieur à » dans la définition précédente.
Existence precedes essenceThe proposition that existence precedes essence (l'existence précède l'essence) is a central claim of existentialism, which reverses the traditional philosophical view that the essence (the nature) of a thing is more fundamental and immutable than its existence (the mere fact of its being). To existentialists, human beings—through their consciousness—create their own values and determine a meaning for their life because the human being does not possess any inherent identity or value.
Lemme de SchwarzLe lemme de Schwarz est un lemme d'analyse complexe, donnant des contraintes sur les fonctions holomorphes du disque unité dans lui-même. Il ne faut pas le confondre avec un autre résultat d'analyse complexe, le . Soit une fonction holomorphe dans le disque ouvert D de centre 0 et de rayon 1, et telle que : Alors on a : pour tout appartenant à D et .Si, de plus, il existe un élément non nul de D vérifiant , ou bien si , alors il existe un nombre complexe de module 1 tel que pour tout appartenant à .
AnalogieUne analogie est un processus de pensée par lequel on remarque une similitude de forme entre deux choses, par ailleurs de différentes natures ou classes. Dans le discours, une analogie explicite est une comparaison, tandis qu'une analogie implicite est une métaphore. La comparaison entre deux routes tortueuses n'est pas une analogie, car ce sont deux objets de même type : c'est une simple ressemblance. En revanche, dire qu'une route serpente est une analogie : on repère ici la similitude entre deux choses de type différent.
