/sci/ - Science & Math

>>11440858
>Ada Lovelace's work
Mfw people actually believe Ada Lovelace did any important or interesting work and wasn't just propped up by proto-s0yb0y Babbage as "proof" of his political opinions about females

>>11145974
Based and amazonpilled

>>11112175
post Hentai

>>10590104
>multiple cultures
>all got wiped out by BWC

>>10559953
>light doesn't interact with the higgs field which means that light particles have no mass and must move at lightspeed
>light .... must move at lightspeed
Modern "science" really is a mystery religion, taking the most obvious shit and then feeding it back to you in the most complicated way. Want to know how fast light goes? Move along citizen that knowledge has 7 physics prereqs plus Calculis 4. What a joke lmao.

>>10501130
But doesn't that mean that calculus is a muscle

>>10447665
Fix any element a of A, and define a new relation R on A - {a} by
> R(b,c) iff (a,b,c) is in S.
We claim R is a strict linear order. Using the first axiom to manipulate the third, we get
> (R(b,c) and R(c,d)) implies R(c,d).
In other words, R is transitive. Also, using the first two axioms together, we get
> R(b,c) or R(c,b)
i.e. R is linear, and
> not ( R(b,c) and R(c,b)),
i.e. R is strict. We have now verified that R is strict linear order. So just define g : A -> N by
> g(c) = number of b such that (a,b,c) is in S.
(In particular, g(a)=0.)