>>11130330>all these guys arguing about the nuances of race and bullshit pseudoscience>in a thread about a mathematicianThe answer is much simpler than that: Proving theorems in math, at the highest levels, is all luck, combined with rote-memorization learned in lower-level math. Here's proof:
>statements in propositional logic describe finite cardinalities>statements in 1st order logic describe at most countable cardinalities>statements in second-order logic and above describe uncountable cardinalities>The set of all statements in a language is at most countable>Thus, the only way to determine whether or not a statement in higher order logic will reduce to a statement is 1st or 2nd order logic is by recognizing the opportunity to apply a known formula, or by luckAlthough this is a main result in any computability or mathematical logic class, it is intuitively quite trivial. Yall are fuckin disgraceful to even be asking such questions and immediately jumping to race-bait.
