site banner

Friday Fun Thread for May 24, 2024

Be advised: this thread is not for serious in-depth discussion of weighty topics (we have a link for that), this thread is not for anything Culture War related. This thread is for Fun. You got jokes? Share 'em. You got silly questions? Ask 'em.

3
Jump in the discussion.

No email address required.

Not reading all this shit or watching some smug deboonker, but at a certain point, nonsense is too nonsensical to deboonk or deconstruct. You can't deboonk Timecube, for example.

Proving that 1*1=1 from first principles is very easy - natural-number mathematics defines 1 axiomatically as the multiplicative identity!

natural-number mathematics defines 1 axiomatically as the multiplicative identity!

In what axiom set? Peano arithmetic just defines 1 as the successor of 0, and showing it's the multiplicative identity then requires a proof by induction.

Proving that 1*1=1 from first principles is very easy - natural-number mathematics defines 1 axiomatically as the multiplicative identity!

You don't prove axioms, you take them as a given. That's what makes them axioms.