2 ms·
Forsooth! the "reverse" in https://en.wikipedia.org/wiki/Reverse_mathematics https://en.wikipedia.org/wiki/Reverse_mathematics Has the same semantic value, th
by gsf_emergency 2y ago
Forsooth! the "reverse" in
https://en.wikipedia.org/wiki/Reverse_mathematics 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"]
https://youtu.be/LUuogMZ0eP8 https://youtu.be/LUuogMZ0eP8
(Healthy Imbecilic Artificial Divinity (メイ))
- 082349872349872 2y ago「 強い、 強い、 だめ、 だめ！」 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 https://news.ycombinator.com/item?id=42375498