What’s something new you learned recently? Or are learning right now? Or even want to learn? I am curious what kinds of math you all do :)
this term, i’m taking linear representations of finite groups, category theory and homological algebra, and algebraic geometry. i’ve learned so so many cool things this term, but i think the coolest is what i’ve been reading from vakil/hartshorne
would anyone be interested in me making writeup/exposition posts abt topics i think r cool? my interests r around comm alg/alg geo/hom alg/cat theory so it’d be stuff in there prolly
picrel is a cool diagram i got to make in quiver for my last homework submission
group theory is fun _ i hope you get into the unis you want <3
what is proof theory?
ty :>
proof theory is the study of proofs itself as a kind of mathematical object. its related to formal logic, model theory, and homotopy type theory.
oooh, interesting