HéphaïstosHéphaïstos ou Héphaestos (en ) est, dans la religion grecque antique, puis dans la mythologie grecque, le dieu du feu, de la forge et de la métallurgie. Selon les sources, il est le fils d'Héra et de Zeus, ou d'Héra seule. Il est habituellement représenté sous les traits d'un forgeron boiteux, mais il est d'abord un inventeur divin et un créateur d'objets magiques. Dès Homère, son nom est utilisé par métonymie pour désigner le feu. Selon l'habitude de linterpretatio romana, il est assimilé par les Romains au dieu Vulcain.
Récurrence transfinieEn mathématiques, on parle de récurrence transfinie ou de récursion transfinie pour deux principes reliés mais distincts. Les définitions par récursion transfinie — permettent de construire des objets infinis, et généralisent les définitions de suite par récurrence sur l'ensemble N des entiers naturels en considérant des familles indexées par un ordinal infini quelconque, au lieu de se borner au plus petit d'entre eux qu'est N, appelé ω en tant que nombre ordinal.
Problème de l'inductionLe problème de l'induction est la question philosophique de savoir si le raisonnement inductif conduit à la connaissance, comprise dans le sens philosophique classique, car il met l'accent sur la prétendue absence de justification dans deux cas : Généraliser les propriétés d'une classe d'objets fondée sur des observations de cas particuliers de cette catégorie (par exemple, la conclusion selon laquelle « tous les cygnes que nous avons vus sont blancs, par conséquent, tous les cygnes sont blancs », avant la d
Licence publique générale GNULa licence publique générale GNU, ou GNU General Public License (son seul nom officiel en anglais, communément abrégé GNU GPL, voire simplement « GPL »), est une licence qui fixe les conditions légales de distribution d'un logiciel libre du projet GNU. Richard Stallman, président et fondateur de la Free Software Foundation en est l'auteur. Sa dernière version est la « GNU GPL version 3 » publiée le avec le concours juridique d'Eben Moglen.
Induction structurelleEn mathématiques et davantage en informatique, la définition récursive ou induction structurelle est un procédé de définition conjointe d'un type (classe ou ensemble) et d'objets (éléments) qui le compose au moyen de règles de construction (constructeurs) qui agencent ou structurent ces objets. L'on peut ainsi définir des nombres, des listes, des arbres, des relations, et plus généralement, toute structure mathématique (langage, système, ...). En permettant par le même principe de définir un prédicat total i.
AphroditeDans la religion grecque antique, Aphrodite (en ) est la déesse de l'Amour dans son acception la plus large. Sa fête principale, les , était célébrée chaque année au milieu de l'été. En Laconie, Aphrodite était vénérée comme une déesse guerrière. Dans la mythologie grecque, Aphrodite est quelquefois mariée à Héphaïstos, dieu du feu, de la forge et de la métallurgie. Les légendes font également part de ses aventures avec de nombreux amants, dont notamment Arès, Dionysos et Hermès.
Raisonnement déductifEn logique, la déduction est une inférence menant d'une affirmation générale à une conclusion particulière. La déduction est une opération par laquelle on établit au moyen de prémisses une conclusion qui en est la conséquence nécessaire, en vertu de règles d'inférence logiques. Ces règles sont notamment l'objet des Premiers Analytiques d'Aristote. On l'oppose généralement à l'induction, qui consiste au contraire à extraire d'un nombre fini de propositions données par l'observation, une conclusion ou un petit nombre de conclusions plus générales.
ÉrosÉros (en grec ancien ) est la divinité primordiale de l’Amour et de la puissance créatrice dans la mythologie grecque. Le mot érotisme en provient. vignette|gauche|Bronze trouvé en mer représentant Éros ; vue de dos ( au ), Musée de l'Éphèbe au Cap d'Agde. Dans la Théogonie d’Hésiode (), il est issu de Chaos et constitue, avec Tartare, Nyx, Gaïa et Érèbe, une des cinq divinités primordiales. C'est le seul qui n'engendre pas, mais il permet à Ouranos et Gaïa de le faire. Il est beau, immortel, .
ThéorèmeEn mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes. Un théorème se démontre dans un système déductif et est une conséquence logique d'un système d'axiomes. En ce sens, il se distingue d'une loi scientifique, obtenue par l'expérimentation.
