Troisième principe de la thermodynamiquevignette|Walther Hermann Nernst. Le troisième principe de la thermodynamique, appelé aussi principe de Nernst (1906), énonce que : La valeur de l'entropie de tout corps pur dans l'état de cristal parfait est nulle à la température de . Cela permet d'avoir une valeur déterminée de l'entropie (et non pas « à une constante additive près »). Ce principe est irréductiblement lié à l'indiscernabilité quantique des particules identiques. Il a été énoncé par Walther Nernst en 1906, puis Max Planck en 1912.
Enthalpie de changement d'étatEn thermodynamique, l'enthalpie de changement d'état (anciennement chaleur latente de changement d'état) d'un corps pur est par définition la variation d'enthalpie qui accompagne un changement d'état du corps rapportée à la quantité de matière mise en jeu lors de cette transformation. Par exemple pour le passage de l'état liquide à l'état de vapeur on parlera denthalpie de vaporisation.
Chaleur sensibleLa chaleur sensible est la quantité de chaleur qui est échangée, sans transition de phase physique, entre plusieurs corps formant un système isolé. Elle est qualifiée de « sensible » parce que ce transfert thermique sans changement de phase change la température du corps, effet qui peut être ressenti ou mesuré par un observateur. En cela, la chaleur sensible s'oppose à la « chaleur latente », qui, elle, est absorbée lors d'un changement de phase, sans changement de température.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
ThermodynamiqueLa thermodynamique est la branche de la physique qui traite de la dépendance des propriétés physiques des corps à la température, des phénomènes où interviennent des échanges thermiques, et des transformations de l'énergie entre différentes formes. La thermodynamique peut être abordée selon deux approches différentes et complémentaires : phénoménologique et statistique. La thermodynamique phénoménologique ou classique a été l'objet de nombreuses avancées dès le .
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Principes de la thermodynamiquevignette|Entropie d'un corps à 0 K (à gauche) Corps avec une température supérieur à 0 K (à droite) Les principes de la thermodynamique sont les principales lois (principes en fait, car non démontrés) qui régissent la thermodynamique : premier principe de la thermodynamique : principe de conservation de l'énergie ; introduction de la fonction énergie interne, U ; deuxième principe de la thermodynamique : principe d'évolution ; création d'entropie, S ; troisième principe de la thermodynamique ou principe de N
Chaleur (thermodynamique)vignette|Le Soleil et la Terre constituent un exemple continu de processus de chauffage. Une partie du rayonnement thermique du Soleil frappe et chauffe la Terre. Par rapport au Soleil, la Terre a une température beaucoup plus basse et renvoie donc beaucoup moins de rayonnement thermique au Soleil. La chaleur dans ce processus peut être quantifiée par la quantité nette et la direction (Soleil vers Terre) d'énergie échangée lors du transfert thermique au cours d'une période de temps donnée.
Intimate relationshipAn intimate relationship is an interpersonal relationship that involves physical or emotional intimacy. Although an intimate relationship is commonly a sexual relationship, it may also be a non-sexual relationship involving family or friends. Emotional intimacy is an essential aspect of a healthy . Feelings of liking or loving may prompt physical intimacy. However, emotional intimacy may or may not be present alongside physical intimacy depending on the relationship.
Raisonnement par disjonction de casProof by exhaustion, also known as proof by cases, proof by case analysis, complete induction or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases or sets of equivalent cases, and where each type of case is checked to see if the proposition in question holds. This is a method of direct proof. A proof by exhaustion typically contains two stages: A proof that the set of cases is exhaustive; i.e.
Chemical thermodynamicsChemical thermodynamics is the study of the interrelation of heat and work with chemical reactions or with physical changes of state within the confines of the laws of thermodynamics. Chemical thermodynamics involves not only laboratory measurements of various thermodynamic properties, but also the application of mathematical methods to the study of chemical questions and the spontaneity of processes. The structure of chemical thermodynamics is based on the first two laws of thermodynamics.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Thermodynamique hors équilibreLa thermodynamique hors équilibre est le domaine de recherche étudiant les phénomènes de relaxation et de transport au voisinage de l'équilibre thermodynamique. Il s'agit là de phénomènes dissipatifs donc irréversibles, liés à une augmentation de l'entropie. Les méthodes présentées ici relèvent de la thermodynamique proprement dite, qui permet de donner les lois caractérisant un phénomène.
Premier principe de la thermodynamiqueSelon le premier principe de la thermodynamique, lors de toute transformation, il y a conservation de l'énergie. Dans le cas des systèmes thermodynamiques fermés, il s'énonce de la manière suivante : Au cours d'une transformation quelconque d'un système fermé, la variation de son énergie est égale à la quantité d'énergie échangée avec le milieu extérieur, par transfert thermique (chaleur) et transfert mécanique (travail).
Échangeur de chaleurUn échangeur de chaleur est un dispositif permettant de transférer de l'énergie thermique d'un fluide vers un autre sans les mélanger. Le flux thermique y traverse la surface d'échange qui sépare les fluides. L'intérêt du dispositif réside dans la séparation des deux circuits et dans l'absence d'autres échanges que la chaleur, qui maintient les caractéristiques physico-chimiques (pression, concentration en éléments chimiques...) de chaque fluide inchangées hormis leur température ou leur état.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Deuxième principe de la thermodynamiqueLe deuxième principe de la thermodynamique (également connu sous le nom de deuxième loi de la thermodynamique ou principe de Carnot) établit l'irréversibilité des phénomènes physiques, en particulier lors des échanges thermiques. C'est un principe d'évolution qui fut énoncé pour la première fois par Sadi Carnot en 1824. Il a depuis fait l'objet de nombreuses généralisations et formulations successives par Clapeyron (1834), Clausius (1850), Lord Kelvin, Ludwig Boltzmann en 1873 et Max Planck (voir Histoire de la thermodynamique et de la mécanique statistique), tout au long du et au-delà jusqu'à nos jours.
Transfert thermiquevignette|alt=Autour d'un feu, des mains reçoivent sa chaleur par rayonnement (sur le côté), par convection (au-dessus de ses flammes) et par conduction (à travers un ustensile en métal).|Les modes de transfert thermique ( en anglais pour « rayonnement »). Un transfert thermique, appelé plus communément chaleur, est l'un des modes d'échange d'énergie interne entre deux systèmes, l'autre étant le travail : c'est un transfert d'énergie thermique qui s'effectue hors de l'équilibre thermodynamique.
