Calcul réversibleLe calcul réversible est un domaine de l'informatique qui s'intéresse au fait de pouvoir inverser (physiquement ou logiquement) un calcul. Il s'agit d'un domaine transversal, qui a des applications allant de l'architecture matérielle à l'algorithmique répartie en passant par le calcul quantique. D'un point de vue physique, cela implique que ce calcul n'implique pas de phénomène dissipatif conduisant à une augmentation de l'entropie ; bien qu'il soit physiquement impossible d'atteindre cet objectif du fait du second principe de la thermodynamique, s'en rapprocher permet l'augmentation de l'efficacité des processeurs.
Table de véritéUne table de vérité (parfois appelée fonction de vérité) est une table mathématique utilisée en logique classique — en particulier le calcul propositionnel classique et l'algèbre de Boole — pour représenter de manière sémantique des expressions logiques et calculer la valeur de leur fonction relativement à chacun de leurs arguments fonctionnels (chaque combinaison de valeur assumée par leurs variables logiques).
Truth functionIn logic, a truth function is a function that accepts truth values as input and produces a unique truth value as output. In other words: The input and output of a truth function are all truth values; a truth function will always output exactly one truth value; and inputting the same truth value(s) will always output the same truth value.
Valeur de véritéUne valeur de vérité est une valeur attribuée à chaque proposition logique. Pour donner une valeur de vérité à une proposition, on attribue des valeurs de vérité aux variables qu'elle contient. La valeur d'une proposition formés de deux propositions P et Q et d'un connecteur est calculée à partir des valeurs de vérité attribuées à P et à Q. Ainsi la valeur de vérité attribuée à « P et Q » sera « p.q » où « . » est la multiplication. En conséquence, P et Q est vrai si et seulement si P et Q sont chacun vrais.
Véritéthumb|Walter Seymour Allward, Veritas, 1920 thumb|Nec mergitur ou La Vérité sortant du puits, toile de Édouard Debat-Ponsan, 1898. La vérité (du latin veritas, « vérité », dérivé de verus, « vrai ») est la correspondance entre une proposition et la réalité à laquelle cette proposition réfère. Cependant cette définition correspondantiste de la vérité n'est pas la seule, il existe de nombreuses définitions du mot et des controverses classiques autour des diverses théories de la vérité.
Reversible process (thermodynamics)In thermodynamics, a reversible process is a process, involving a system and its surroundings, whose direction can be reversed by infinitesimal changes in some properties of the surroundings, such as pressure or temperature. Throughout an entire reversible process, the system is in thermodynamic equilibrium, both physical and chemical, and nearly in pressure and temperature equilibrium with its surroundings. This prevents unbalanced forces and acceleration of moving system boundaries, which in turn avoids friction and other dissipation.
Vérité logiqueLa vérité logique est l'un des concepts les plus fondamentaux de la logique. D'une manière générale, une vérité logique est une proposition qui est vraie indépendamment de la vérité ou la fausseté de ses propositions constitutives. En d'autres termes, une vérité logique est une affirmation qui n'est pas seulement vraie, mais qui est vraie sous toutes les interprétations de ses composants logiques (autres que ses constantes logiques). Ainsi, des vérités logiques telles que "si p, alors p" peuvent être considérées comme des tautologies.
MicroréversibilitéLa microréversibilité est une propriété de certains systèmes physiques de particules ou quasi-particules élémentaires décrits par des équations symétriques par rapport au temps. Cette propriété permet d'exhiber un lien entre une propriété du système macroscopique parcouru dans un sens et celle correspondante au sens inverse. La symétrie des équations décrivant un système par rapport au temps permet une analyse de ceux-ci en mécanique classique ou quantique.
Bilan détailléLe principe du bilan détaillé d'un système cinétique comportant plusieurs chemins, chacun d'eux comportant plusieurs étapes successives indépendantes, stipule que l'équilibre thermodynamique global du système implique l'équilibre de chacune des étapes constitutives. Le principe voisin nommé principe de bilan semi-détaillé ou bilan complexe donne une condition suffisante pour assurer la stationnarité d'un tel système. Le principe de bilan détaillé a été utilisé une première fois par Ludwig Boltzmann en 1872 pour établir son théorème H.
Carnot's theorem (thermodynamics)In thermodynamics, Carnot's theorem, developed in 1824 by Nicolas Léonard Sadi Carnot, also called Carnot's rule, is a principle that specifies limits on the maximum efficiency that any heat engine can obtain. Carnot's theorem states that all heat engines operating between the same two thermal or heat reservoirs cannot have efficiencies greater than a reversible heat engine operating between the same reservoirs.
