alt Hacker NewsForsooth! the "reverse" in
https://en.wikipedia.org/wiki/Reverse_mathematics
Has the same semantic value, that one may thus observe
"Sufficiently advanced mathematics is indistinguishable from engineering" -not ACC
[I'm distraught that WSmith didn't draw the symbol for "Eigen... F*ck you"]
(Healthy Imbecilic Artificial Divinity (メイ))
「 強い、 強い、 だめ、 だめ！」
The more interesting parts of maths lie where one can reach (apparently) strong results from (apparently) weak premises: yield to the desire to start with too strong of an antecedent, and your poor technique kills your own sword/[proper frame hom into 2]: ex falso quodlibet.
(look into your sword, Y. Gradstudent Sagiri: have you detached that head clause by cutting into a principal prime ideal and a completely prime filter?)
see also https://news.ycombinator.com/item?id=42375498