{"id":"arxiv/2601.15571","url":"https://arxiv.org/abs/2601.15571","tags":["cs.CC","cs.LO","math-ph","math.CT"],"score":0,"title":"Thermodynamic Limits of Proof","domain":"cs.CC","source":"arxiv","authors":["Tristan Simas"],"reviews":0,"subject":"cs.CC","summary":"Every irreversible recorded distinction has a positive thermodynamic work floor. Landauer's principle supplies the ideal bound $\\varepsilon\\ge k_B T\\ln 2$ per irreversible bit, experimentally verified to $\\pm 10\\%$. Proof available to an agent is checkable information for that agent: some substrate must produce, retain, and expose evidence that excludes answer-changing alternatives. A finite detector array operating at temperature $T$ for finite time has finite signal-acquisition capacity. Combining finite causal access, positive retained-record cost, and exact lower bounds on required…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-01-22","reactions":{}}