News for hackers. Stuff that matters.

A comment on 'Proof' Review: Finding Truth in Numbers. Parent comment

Re:'Proof' Review: Finding Truth in Numbers by eru on Tuesday June 10, 2025 @09:21PM (#44243300)
There are systems that we can proof the consistency of just fine. See eg https://en.wikipedia.org/wiki/Presburger_arithmetic

Presburger Arithmetic cannot prove its own consistency inside of itself, but that doesn't mean we can't prove its consistency 'at all'.

[ Parent | on HN ]
Re:'Proof' Review: Finding Truth in Numbers by mathgradthrow on Wednesday June 11, 2025 @11:09AM (#44248482)
What on earth do you mean by prove, If not within a system of proof?

You can prove the consistency of PBA, But you cannot prove that you cannot prove the inconsistency of PBA, because The inability to do both is the definition of consistency in the larger system.

[ Parent | on HN ]
Re:'Proof' Review: Finding Truth in Numbers by Scarblac on Friday June 13, 2025 @06:31AM (#44267277)
But it's not really relevant for anything to be able to prove that you cannot prove the inconsistency.
[ Parent | on HN ]