math
Place to talk about anything related to mathematics
Monteluna pfp

@monteluna

I've read some fun history books in Mathematics and physics, and we all have fun stats on lineage where you can pretty much trace most American students back to English and French mathematicians through their PhDs (Einstein Number, Newton Number, etc.) While I haven't studied Ramanujan since I'm not super savvy in number theory, I'm definitely aware the man is truly bizarre. There was absolutely no formal mathematics schools around him and *all* historical records show he just woke up one day around 10 and just started to be a prodigy of mathematics. Most of the mathematicians in Europe at least had some adjacency to mathematics and physics growing up, but this guy seriously had none of that. Just started computing deep number theory in his head at 10 years old. Completely random. Dune space guild type stuff.
0 reply
1 recast
3 reactions

Osuji pfp

@osuji

As it turns out, you mostly can't even achieve meaningful consistent upward mobility via taking EV+ risks as well, especially if EV is arithmetic but returns are geometric.
0 reply
0 recast
0 reaction

Osuji pfp

@osuji

I can't believe nobody recommended Steve Brunton's channel on YouTube, absolutely goated https://youtube.com/@eigensteve?si=Y-KvK1wemUGmVUMD
0 reply
0 recast
1 reaction

EulerLagrange pfp

@eulerlagrange.eth

A really enjoyable and approachable playlist of lectures on the history of mathematics. Norm does the hard work for you, just sit back and enjoy. cc @aviationdoctor.eth https://youtube.com/playlist?list=PL34B589BE3014EAEB&si=QJfNnvjAg2968Qer
2 replies
1 recast
5 reactions

agusti pfp

@bleu.eth

any mathematicians on farcaster?
17 replies
6 recasts
55 reactions

あーりー 🎏 pfp

@early

mathematics has a euclidean side, rigid and formalist, and a quasi-empirical side, evolving and self-correcting. proofs and refutations are its heartbeat. each theorem is provisional; the living tension between conjecture and criticism keeps it growing toward truth
1 reply
0 recast
3 reactions

あーりー 🎏 pfp

@early

proof isn't a destination, it's motion. each line of reasoning is a structure we build, test, and sometimes dismantle. what looks solid in one frame can shift in the next. that's where discovery lives: not in certainty, but in what changes under pressure
2 replies
1 recast
7 reactions

Ago pfp

@fcago.eth

If you’re into math, it’s worth subscribing to notifications for this repo: https://github.com/ImperialCollegeLondon/FLT It’s incredibly cool to see the formalization of the proof of Fermat’s Last Theorem, PR-by-PR
0 reply
0 recast
1 reaction

EulerLagrange pfp

@eulerlagrange.eth

😏
0 reply
1 recast
4 reactions

Osuji pfp

@osuji

Probably the funniest thing you'll read today, quant larpers have found a new home in prediction markets 😂 https://x.com/Prithvir12/status/1968941775323590841
0 reply
0 recast
0 reaction

Osuji pfp

@osuji

Unless ofc when sample mean = true mean 😂
0 reply
0 recast
0 reaction

EulerLagrange pfp

@eulerlagrange.eth

It took me a second to realize what July meant and I feel stupid bc of it
0 reply
0 recast
3 reactions

EulerLagrange pfp

@eulerlagrange.eth

I can’t believe we’ve had thousands of years of math progress, and the way to make compute fast enough for LLMs is to let go of associativity 😭
0 reply
1 recast
2 reactions

Tom Conlan pfp

@tomconlan

Thinking of math things like machines helps my brain process them. Should I post more notes on Lagrange interpolation?
0 reply
0 recast
6 reactions

Osuji pfp

@osuji

Math words I like: Affine Degenerate Jacobian Lagrangian Simplex Eigendecomposition Ergodic
0 reply
0 recast
1 reaction