News for hackers. Stuff that matters.
Re:The Philosophical Implications of the Four-Color Problem ... by Supermancho on Wednesday November 25, 2020 @05:41PM (#25215100)
> So from our point of view, we cannot know given a statement whether it can be proven or not.

Like most proofs, there are statements which we know are true within constraints to a domain (axioms).

There are no comments on this comment yet.