K-Theory

895 posts

K-Theory banner
K-Theory

K-Theory

@KristapsBalodi3

He/Him, Mathematician, Musician, hot and fresh out the kitchen.

Katılım Eylül 2020
158 Takip Edilen1.6K Takipçiler
K-Theory
K-Theory@KristapsBalodi3·
Trying out something new in my livstreams, doing the Pomodoro method for a combination of work and chatting. What time intervals do ou think I should use to have a good mix of work and interacting with chat? youtube.com/watch?v=uUJ8KC…
YouTube video
YouTube
English
0
0
3
56
K-Theory
K-Theory@KristapsBalodi3·
It's Dr. Balodis now
English
14
0
83
2.3K
Alex Kontorovich
Alex Kontorovich@AlexKontorovich·
Congratulations to the Journal of Experimental Mathematics (published by the AMR @AMathRes) on releasing Vol 2 Issue 1! Please make sure your libraries are subscribing... Oh wait, no! It's Diamond Open Access! Just go read the papers :) jexpmath.org
Alex Kontorovich tweet media
English
1
5
37
5.2K
K-Theory
K-Theory@KristapsBalodi3·
@JoshuaG19367959 🤯This is my new foundational belief: We are all (approximately) Dirichlet L-functions.
English
0
0
1
22
K-Theory
K-Theory@KristapsBalodi3·
I'm sorry, who's zeta function?!
K-Theory tweet media
English
10
9
214
12.1K
K-Theory
K-Theory@KristapsBalodi3·
I gave (half?) a talk about the p-adic Kazhdan-Lusztig hypothesis in the NYC category theory seminar today: youtube.com/watch?v=_9zKed…
YouTube video
YouTube
English
0
0
21
1.3K
K-Theory
K-Theory@KristapsBalodi3·
@JoshuaG19367959 Actually I was asking "who is zeta function". Very common normal question.
English
1
0
2
73
math lion 🦁
math lion 🦁@TonyTheLion2500·
So having a PhD in mathematics doesn't solve your life?
English
51
37
631
32.2K
Sidharth Malhotra
Sidharth Malhotra@sidml·
@KristapsBalodi3 Why did the Roman Emperor keep studying SO(p, q)(ℝ)? Because he wanted to make sure his Empire had the right signature — and he'd already conquered every other group in the classification. Even the mightiest empire can't stay connected when its components keep splitting off.
English
1
1
5
255
K-Theory
K-Theory@KristapsBalodi3·
Why have I never heard a joke about the group S(p, q)(R) and Roman empire?
English
3
9
140
7.6K
K-Theory
K-Theory@KristapsBalodi3·
@JasonRute @octonion True, and of course I'm also in favor of that as well. I mean the goal is to have everything eventually. I still think that the best strategy to get more mathematicians on board, is to put in tools they would use in their next paper.
English
0
0
1
79
Jason Rute
Jason Rute@JasonRute·
@KristapsBalodi3 @octonion I think some people actually view this as an important reason to formalize stuff like this. Formalization (especially formalization done with a lot of care, like in the Mathlib style) is a way to preserve knowledge, especially since it isn’t exciting anymore.
English
2
0
2
71
Christopher D. Long 🇺🇦🏳️‍🌈🌹
Has any work started on formalizing the classification of finite simple groups, or is that still a hopeless task at the moment? That would be truly amazing.
English
5
1
21
3.7K
K-Theory
K-Theory@KristapsBalodi3·
@Someody42 @octonion Good point, I guess especially for some of those exceptional groups it may not be trivial to define them.
English
1
0
2
71
Someody
Someody@Someody42·
@KristapsBalodi3 @octonion I can confirm. However, there are a lot of things on the way to the classification which deserve to get to Mathlib! For example, defining all the groups involved.
English
1
0
2
95
K-Theory
K-Theory@KristapsBalodi3·
@octonion the recent autoformalization of sphere packing, or say the large project to formalize the proof of FLT both would involve the formalization of tools that cutting edge researchers are still employing. (3/n, n=3)
English
0
0
3
109
K-Theory
K-Theory@KristapsBalodi3·
@octonion research, with the hopes of making it practical and attractive for mathematicians to start formalizing their papers in Lean. Therefore, there's most interest in projects that would require the formalization of modern tools that are still actively being used. For example (2/n)
English
1
0
2
162
Evelyn
Evelyn@tummycom·
@octonion There's so much to do. Feit-Thompson looks like a place to start.
English
1
0
1
153
nk
nk@subcountability·
@littmath I'll give it to them that they finally released the Eisenstein series.
English
1
1
9
4.3K
Daniel Litt
Daniel Litt@littmath·
It’s true. Look up Elliptic Curves. Read Silverman’s “The Arithmetic of Elliptic Curves.” Do all the exercises. Read Katz-Mazur’s “Arithmetic Moduli of Elliptic Curves.” Study it closely. Only then will you understand.
Daniel Litt tweet media
English
57
43
1.5K
154.9K