🧵 Untitled Thread
Anonymous at Fri, 25 Oct 2024 19:57:51 UTC No. 16449432
Why aren't more people enchanted with math?
It's literally best thing we humans have on earth. And everyone can experience and enjoy it, you don't need any money and can just read the books and experience it first hand. All you need is time.
Math is the only thing that makes life even remotely worth living.
Anonymous at Fri, 25 Oct 2024 20:10:52 UTC No. 16449442
people don't even like thinking about problems that aren't abstract
Anonymous at Fri, 25 Oct 2024 20:15:20 UTC No. 16449449
>>16449432
because you cant consume it like a product
Anonymous at Fri, 25 Oct 2024 20:27:09 UTC No. 16449458
>>16449432
They get told in school they don't have the maths gene and develop a deep aversion to it later on
Anonymous at Fri, 25 Oct 2024 22:02:38 UTC No. 16449578
>>16449432
I have gotten as far as algebraic geometry and differential topology and I can tell you that math is not good. The sense of wonder of discovering new things always has the same formula:
>by constructing a meta-structure that includes concept A and concept B as special cases, we can show how A and B are essentially the same
>polynomial equations are actually sets of points in C
>varieties are actually shapes
>rings, groups, fields, etc are actually fixed points inside monoids
>geometries are just rigid sheaves
>spaces are actually models of nested tautologies
>category theory is just q-analogs of types
Anonynous at Fri, 25 Oct 2024 22:24:27 UTC No. 16449609
>>16449578
Can you please spoonfeed me a specific example that follows your template.
Anonymous at Fri, 25 Oct 2024 22:25:22 UTC No. 16449611
>>16449578
You don't know what you are talking about.
Anonymous at Sat, 26 Oct 2024 02:38:18 UTC No. 16449965
>>16449578
Shut the fuck up.
>>16449458
This, unfortunately.
>>16449432
Agreed. I think you and I would vibe very well together on a spiritual level.
Anonymous at Sat, 26 Oct 2024 03:37:31 UTC No. 16450019
>>16449578
absolute retardation. everyone knows category theory is the ultrafilter of intensional types
Anonymous at Sat, 26 Oct 2024 06:03:32 UTC No. 16450109
>>16450019
>everyone knows (∞,1)-category theory is the ultrafilter of intensional types
ftfy
Anonymous at Sat, 26 Oct 2024 06:35:07 UTC No. 16450133
>>16449432
Because human beings are not hard-wired for it on either a conscious or a cognitive level, that's why. The brain being able to pick out vague "ooh-aah" simple sensory patterns doesn't count, beyond the most rudimentary, and the most rudimentary doesn't count. The fact that our greatest mathematical achievement through most of history was just solving quadratics over and over again is the proof.
Anonymous at Sat, 26 Oct 2024 06:46:17 UTC No. 16450139
>>16449432
Because it doesn’t immediately lead to money, food or sex. Same reason most people scoff at art.
>The brain may be likened to a parasite which is nourished as a part of the human frame without contributing directly to its inner economy; it is securely housed in the topmost story, and there leads a self-sufficient and independent life. In the same way it may be said that a man endowed with great mental gifts leads, apart from the individual life common to all, a second life, purely of the intellect. He devotes himself to the constant increase, rectification and extension, not of mere learning, but of real systematic knowledge and insight; and remains untouched by the fate that overtakes him personally, so long as it does not disturb him in his work. It is thus a life which raises a man and sets him above fate and its changes. Always thinking, learning, experimenting, practicing his knowledge, the man soon comes to look upon this second life as the chief mode of existence, and his merely personal life as something subordinate, serving only to advance ends higher than itself.
Anonymous at Sat, 26 Oct 2024 07:08:49 UTC No. 16450147
>>16450109
thanks but all the categories i work with are (∞,1)-categories so i don't use the prefix
Anonymous at Sat, 26 Oct 2024 07:21:41 UTC No. 16450158
>>16449432
Yesterday I had an interesting thought that everything in the world can be described/interpreted with math, then the life of every human being, everything that happens with us, is also pre-built/pre-defined/mathematicall
Anonymous at Sat, 26 Oct 2024 07:25:28 UTC No. 16450161
>>16450147
hold up. is there such a thing as an ultra product of type theories?
Anonymous at Sat, 26 Oct 2024 13:25:54 UTC No. 16450489
>>16449432
>why aren't people enamored with pointless abstractions that turns people toward a mechanistic view of reality
Gee I wonder