Hacker News new | ask | show | jobs
by whatshisface 1910 days ago
Proving that some axioms imply a conclusion does not prove the truth of the conclusion, when the axioms themselves remain unproven. For example:

Axiom 1) All comments by whatshisface are right.

Theorem 1) This comment is right.

Proof: Whatshisface wrote this comment.

That's a proof in the mathematical sense and there's nothing wrong with it in that way, but that it has nothing to do with the truth of the theorem.

1 comments

Axioms are not something you ever prove, as in, they're not provable even in principle. I would not call this an axiom, this is simply a premise. It can be determined. You'd trace this premise back up a chain of premise-based arguments, and if all are valid, you eventually reach some of the 5-10 (I forgot) core axioms that underlie all of logic. And those are not provable, but you'd generally be considered mad not to accept them.

I'm not sure what you want to achieve by focusing on this topic. You just saying you don't agree with the axioms in the article, right? So just say that.