Final Fantasy XIIIest un jeu vidéo de rôle développé et édité par l'entreprise japonaise Square Enix. Il est sorti sur PlayStation 3 le au Japon puis sur PlayStation 3 et Xbox 360 le en Europe et Amérique du Nord. Il est ensuite sorti sur Windows le . Constituant la treizième itération de la série Final Fantasy, l'une des séries de jeu de rôle les plus populaires dans le domaine du jeu vidéo, il est le premier opus de la série à sortir sur les consoles de septième génération.
Moteur physiqueUn moteur physique est, en informatique, une bibliothèque logicielle indépendante appliquée à la résolution de problèmes de la mécanique classique. Les résolutions typiques sont les collisions, la chute des corps, les forces, la cinétique, etc. Les moteurs physiques sont principalement utilisés dans des simulations scientifiques et dans les jeux vidéo. Certains sont également libres pour l'utilisation commerciale, à vérifier bibliothèque par bibliothèque. Box2D (Licence Zlib) Chipmunk (C, C++, Ruby, Python, OCaml.
Théorie oméga-cohérenteEn logique mathématique une théorie arithmétique est appelée théorie ω-cohérente (oméga-cohérente) quand, pour toute propriété P des nombres entiers que l'on peut exprimer dans le langage de la théorie, si pour chaque entier n, P(n) est démontrable dans la théorie, alors ¬∀x P(x) n'est pas démontrable dans la théorie (¬ pour la négation, ∀ pour la quantification universelle, « pour tout »). Quand on prend pour P un énoncé clos (qui ne dépend pas de x) on retrouve la définition de la cohérence, appelée parfois dans ce contexte cohérence simple, qui est donc conséquence de l'ω-cohérence.
PhysiqueLa physique est la science qui essaie de comprendre, de modéliser et d'expliquer les phénomènes naturels de l'Univers. Elle correspond à l'étude du monde qui nous entoure sous toutes ses formes, des lois de ses variations et de leur évolution. La physique développe des représentations du monde expérimentalement vérifiables dans un domaine de définition donné. Elle produit plusieurs lectures du monde, chacune n'étant considérée comme précise que jusqu'à un certain point.
Centrale nucléaireUne centrale nucléaire est un site industriel destiné à la production d'électricité, comprenant un ou plusieurs réacteurs nucléaires. La puissance électrique d'une centrale varie de quelques mégawatts à plusieurs milliers de mégawatts en fonction du nombre et du type de réacteur en service sur le site. L'énergie d'une centrale nucléaire provient de la fission de noyaux d'atomes lourds.
Philosophie de la physiqueEn philosophie des sciences, la philosophie de la physique étudie les questions fondamentales sous-jacentes à la physique moderne, soit l'étude de la matière et de l'énergie et la façon dont elles interagissent. La philosophie de la physique se penche sur les questions métaphysiques et épistémologiques essentielles que pose la physique : la causalité, le déterminisme, et la nature d'une loi physique.
CogénérationLa cogénération est la production simultanée de deux formes d’énergie différentes dans la même centrale. Le cas le plus fréquent est la production simultanée d'électricité et de chaleur utile par des moteurs thermiques ou des turbines à gaz. La cogénération est une technique efficace d'utilisation des énergies fossiles et renouvelables, qui valorise une énergie généralement rejetée dans l'environnement, comme la chaleur. upright|thumb|Cycle d'une machine thermique parfaite dans un diagramme entropie-température.
Phenomenology (physics)In physics, phenomenology is the application of theoretical physics to experimental data by making quantitative predictions based upon known theories. It is related to the philosophical notion of the same name in that these predictions describe anticipated behaviors for the phenomena in reality. Phenomenology stands in contrast with experimentation in the scientific method, in which the goal of the experiment is to test a scientific hypothesis instead of making predictions.
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.
Théorie complèteEn logique mathématique, une théorie complète est une théorie qui est équivalente à un ensemble maximal cohérent de propositions ; ceci signifie qu'elle est cohérente et que toute extension propre ne l'est plus. Pour des théories logiques qui contiennent la logique propositionnelle classique, ceci équivaut à la condition que pour toute proposition φ du langage de la théorie, soit elle contient φ, soit elle contient sa négation ¬φ.
