News for hackers. Stuff that matters.

A comment on Tech Bosses Are Letting Dictators Censor What Americans See. Parent comment

Re:Tech Bosses Are Letting Dictators Censor What Americans See by lcnPylGDnU4H9OF on Friday April 21, 2023 @03:42PM (#35658963)
I'm not sure what you mean by this, particularly this phrasing: "sets of axioms where 1 = 1". 1 = 1 is an axiom, not something that's proven by any set of axioms.

But I'm willing to believe I'm simply naive here. You say there is some set of axioms which prove that 1 = 1. Are those axioms not agreements? Since you seem to be familiar, what are those axioms?

[ Parent | on HN ]
Re:Tech Bosses Are Letting Dictators Censor What Americans See by Retric on Friday April 21, 2023 @04:33PM (#35659676)
What you are missing is 1 = 1 isn’t inherently true on it’s own.

There are sets of axioms where 1 = 1 is false, different sets where it’s undefined, and finally sets of axioms where 1 = 1 is true.

However, for a given set of axioms there is no choice and nothing to agree upon. That’s what makes math universally true.

[ Parent | on HN ]