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 Scarblac on Wednesday June 11, 2025 @01:32AM (#44244488)
But proving inconsistency can be done - show that a contradiction follows from the axioms.
[ Parent | on HN ]

There are no comments on this comment yet.