/sci/ - Science & Math

>>12277621
I think explosion is only trivial over N because that's a theory with a generator S that lets you reach all elements (and even that only holds in the second order formulation) and in this way all theorems.
For a theory of more complicated objects, Explosion is quite suspicious if you ask me.

I haven't given up explosion mostly because the disjunctive elemenation hinges upon it (from "A or B" and "not A" follows "B")

>>12150970
Doesn't need to be, women control the means of production and there are plenty of superfluous males, e.g. one male can impregnate a hundred women in a month. The women that do best(pampered by betas) produce a constant stream of strong, well-fed offspring.

>>10919948
>in fighting poverty and equality of women.
Thats exactly what they're doing though, everyone knows the first human on mars is going to be a diverse, incompetent black woman

>>10904047
Alright /sci/, what's the best degree for getting a well-paying job? I'm MechE now and this thread is scaring me. No CS

Redpill me on math degrees