Epsilon-inductionIn set theory, -induction, also called epsilon-induction or set-induction, is a principle that can be used to prove that all sets satisfy a given property. Considered as an axiomatic principle, it is called the axiom schema of set induction. The principle implies transfinite induction and recursion. It may also be studied in a general context of induction on well-founded relations. The schema is for any given property of sets and states that, if for every set , the truth of follows from the truth of for all elements of , then this property holds for all sets.
Réseau de diffusion de contenuUn réseau de diffusion de contenu (RDC) ou en anglais content delivery network (en) est constitué d’ordinateurs reliés en réseau à travers Internet et qui coopèrent afin de mettre à disposition du contenu ou des données à des utilisateurs. Ce réseau est constitué : de serveurs d'origine, d'où les contenus sont « injectés » dans le RDC pour y être répliqués ; de serveurs périphériques, typiquement déployés à plusieurs endroits géographiquement distincts, où les contenus des serveurs d'origine sont répliqués ; d'un mécanisme de routage permettant à une requête utilisateur sur un contenu d'être servie par le serveur le « plus proche », dans le but d’optimiser le mécanisme de transmission / livraison.
Courbe fermée de type tempsDans une variété lorentzienne de la géométrie différentielle, on appelle , courbe de genre temps fermée ou courbe temporelle fermée (closed timelike curve, ou en abrégé CTC, en anglais) la ligne d'univers d'une particule matérielle fermée dans l'espace-temps, c'est-à-dire capable de retourner au même point et à son instant de départ. a évoqué cette possibilité en 1937 et Kurt Gödel en 1949. Si l’existence des CTC était prouvée, cela pourrait au moins impliquer la possibilité théorique de construire une machine à voyager dans le temps, ainsi qu’une reformulation du paradoxe du grand-père.
