Théorie des ensemblesLa théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.
Ensemblevignette|Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles. Dans une approche axiomatique, la théorie des ensembles est une théorie de l'appartenance (un élément d'un ensemble est dit « appartenir » à cet ensemble).
Ensemble videvignette|Notation de l'ensemble vide. En mathématiques, l'ensemble vide est l'ensemble ne contenant aucun élément. L'ensemble vide peut être noté d'un O barré, à savoir ∅ ou simplement { }, qui est une paire d'accolades ne contenant qu'une espace, pour représenter un ensemble qui ne contient rien. La notation ∅ a été introduite par André Weil, dans le cadre de l'institution de notations par le groupe Bourbaki. Von Neumann dans son article de 1923, qui est l'une des premières références qui l'aborde, le note O.
Spent nuclear fuelSpent nuclear fuel, occasionally called used nuclear fuel, is nuclear fuel that has been irradiated in a nuclear reactor (usually at a nuclear power plant). It is no longer useful in sustaining a nuclear reaction in an ordinary thermal reactor and, depending on its point along the nuclear fuel cycle, it will have different isotopic constituents than when it started. Nuclear fuel rods become progressively more radioactive (and less thermally useful) due to neutron activation as they are fissioned, or "burnt" in the reactor.
Piscine de stockage de combustible nucléaireUne piscine de stockage du combustible usagé (en anglais SFP pour Spent fuel pools) est un bassin d'entreposage provisoire de combustible nucléaire irradié ou destiné au rechargement d’un réacteur à l’arrêt. Après avoir servi dans le réacteur d’une centrale nucléaire ou dans un réacteur d’étude ou de recherche, réacteur expérimental ou de sous-marin nucléaire, le « combustible nucléaire usagé » (originellement constitué d'uranium plus ou moins enrichi ou d'un mélange d’uranium et de plutonium dit « MOX ») est encore radioactif et dégage de la chaleur (on parle de « puissance résiduelle ») ; il est alors retiré du réacteur et stocké provisoirement dans la piscine de stockage avant envoi pour retraitement et stockage final.
Théorie des ensembles approximatifsThéorie des ensembles approximatifs – est un formalisme mathématique proposé en 1982 par le professeur Zdzisław Pawlak. Elle généralise la théorie des ensembles classique. Un ensemble approximatif (anglais : rough set) est un objet mathématique basé sur la logique 3 états. Dans sa première définition, un ensemble approximatif est une paire de deux ensembles : une approximation inférieure et une approximation supérieure. Il existe également un type d'ensembles approximatifs défini par une paire d'ensembles flous (anglais : fuzzy set).
Ensemble flouLa théorie des sous-ensembles flous est une théorie mathématique du domaine de l’algèbre abstraite. Elle a été développée par Lotfi Zadeh en 1965 afin de représenter mathématiquement l'imprécision relative à certaines classes d'objets et sert de fondement à la logique floue. Les sous-ensembles flous (ou parties floues) ont été introduits afin de modéliser la représentation humaine des connaissances, et ainsi améliorer les performances des systèmes de décision qui utilisent cette modélisation.
Universal setIn set theory, a universal set is a set which contains all objects, including itself. In set theory as usually formulated, it can be proven in multiple ways that a universal set does not exist. However, some non-standard variants of set theory include a universal set. Many set theories do not allow for the existence of a universal set. There are several different arguments for its non-existence, based on different choices of axioms for set theory. In Zermelo–Fraenkel set theory, the axiom of regularity and axiom of pairing prevent any set from containing itself.
Set-builder notationIn set theory and its applications to logic, mathematics, and computer science, set-builder notation is a mathematical notation for describing a set by enumerating its elements, or stating the properties that its members must satisfy. Defining sets by properties is also known as set comprehension, set abstraction or as defining a set's intension. Set (mathematics)#Roster notation A set can be described directly by enumerating all of its elements between curly brackets, as in the following two examples: is the set containing the four numbers 3, 7, 15, and 31, and nothing else.
Nuclear flaskA nuclear flask is a shipping container that is used to transport active nuclear materials between nuclear power station and spent fuel reprocessing facilities. Each shipping container is designed to maintain its integrity under normal transportation conditions and during hypothetical accident conditions. They must protect their contents against damage from the outside world, such as impact or fire. They must also contain their contents from leakage, both for physical leakage and for radiological shielding.
Traitement du combustible nucléaire uséLe traitement du combustible nucléaire usé (anciennement retraitement des combustibles usés) regroupe plusieurs procédés mécaniques et chimiques de traitement du combustible nucléaire après utilisation en réacteur, visant à séparer des éléments potentiellement réutilisables tels que l'uranium et le plutonium, mais également les « actinides mineurs », des produits de fission contenus dans le combustible nucléaire irradié. Le traitement du combustible usé est l'une des étapes du cycle du combustible nucléaire.
GenèveGenève est une ville suisse située à l'extrémité sud-ouest du Léman. Elle est la deuxième ville la plus peuplée de Suisse après Zurich, et le chef-lieu de la République et canton de Genève (GE). Au , la ville comptait dans , mais à la même date, son aire métropolitaine transfrontalière, définie par Eurostat et l'OFS suivant la méthodologie des zones urbaines fonctionnelles, c'est-à-dire l'agglomération et la couronne périurbaine, comptait dans à cheval sur la Suisse et la France.
Onkalovignette|Une galerie du site d'Onkalo (2014) Onkalo (« cave » en finnois) est un site de stockage finlandais de déchets nucléaires de haute activité, prévu pour accueillir des déchets à partir de 2025 pour une durée illimitée. Onkalo est situé à environ à l'est de la centrale nucléaire d'Olkiluoto. La loi finlandaise sur l'énergie nucléaire, adoptée en 1994, dispose que tous les déchets nucléaires produits en Finlande doivent rester sur le territoire national.
Canton de GenèveLe canton de Genève (GE), officiellement la République et canton de Genève, est l'un des de la Suisse. Son chef-lieu est Genève. Au , la population du canton s’établit à . Il s’agit du successeur de la république de Genève, indépendante depuis le jusqu'à son intégration dans la République française en 1798. Elle retrouve son indépendance le après le départ des armées de , puis devient un canton suisse le . La république et canton de Genève occupe une superficie modeste, inférieure à celle du district de Nyon, mais elle est densément peuplée, car elle abrite la seconde ville de Suisse.
Tempsthumb|Chronos, dieu du temps de la mythologie grecque, par Ignaz Günther, Bayerisches Nationalmuseum à Munich. vignette|Montre à gousset ancienne Le temps est une notion qui rend compte du changement dans le monde. Le questionnement s'est porté sur sa « nature intime » : propriété fondamentale de l'Univers, ou produit de l'observation intellectuelle et de la perception humaine. La somme des réponses ne suffit pas à dégager un concept satisfaisant du temps.
Conventions de Genèvevignette|Fac-similé de l'original de la première convention de Genève (1864). Les conventions de Genève sont des traités internationaux fondamentaux dans le domaine du droit international humanitaire. Elles dictent les règles de conduite à adopter en période de conflits armés, et notamment la protection des civils, des membres de l'aide humanitaire, des blessés ou encore, des prisonniers de guerre. La première convention de Genève date de 1864. Cependant, les textes qui sont en vigueur aujourd’hui ont été écrits après la Seconde Guerre mondiale.
