✦ LIBER ✦

The logical status of thermodynamic proofs of mathematical theorems

✍ Scribed by M.A.B. Deakin; G.J. Troup

Publisher: Elsevier Science
Year: 1981
Tongue: English
Weight: 110 KB
Volume: 83
Category: Article
ISSN: 0375-9601
DOI: 10.1016/0375-9601(81)90971-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On physical proofs of mathematical theor

On physical proofs of mathematical theorems

✍ J. Perdang 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 420 KB

A Constructive Proof of a Theorem in Rel

A Constructive Proof of a Theorem in Relevance Logic

✍ Aleksandar Kron 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 461 KB 👁 1 views

In this paper we investigate a propositional systeni L related t o T,-W of relevance logic. It has been conjectured that for any formulas A and B

A “thermodynamical” proof of the extende

A “thermodynamical” proof of the extended steady-state Nyquist theorem

✍ V. Sergiescu 📂 Article 📅 1970 🏛 Elsevier Science ⚖ 215 KB

The logic of proofs, semantically

✍ Melvin Fitting 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 284 KB

Proof of the TCP Theorem

✍ Gerhart Lüders 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 122 KB

A comparatively simple proof is given for the general theorem that a wide class of quantized field theories which are invariant under the proper Lorentz group is also invariant with respect to the product of time reversal (T), charge conjugation (C), and parity (P). In the proof use is made of an im

Proof of the TCP theorem

✍ Gerhart Lüders 📂 Article 📅 1957 🏛 Elsevier Science 🌐 English ⚖ 804 KB