← Feed

Posts

• Post #3227186

  RE: https://mathstodon.xyz/@chrisTheClimber/116533202284289688 The Talk tourned out to be a "I used Claude to generate Lean code" Talk🫠

• Post #3227185

  I am currently in a course about elementary Probability Theory and don't really like it much to be honest. But as preparation for yesterdays Talk our prof explained how a discrete Probability Measure is a Monad. And that's insanely cool if you ask me.

• Post #3227184

  Help. I am spending way too much money on climbing guidebooks again😂🙈

• Post #3227183

  How do you guys do your Note-Taking? I recently simply created a new Typest file on each topic I want to take notes on. However, this makes it hard to search for notes and reuse them. I would like to use Obsidian but I really can't stand the "LaTeX math" anymore...

• Post #3227182

  I think the decomposition of finitely generated Modules over PIDs is my favourite theorem and yet I have never seen a proper proof of it.

• Post #3227181

  Erstmal das neue Drei ??? Hörspiel hören

• Post #3227180

  Please Help. I feel like I am in hell. In our Topology class we defined homology via a bunch of Axioms - however it was quite confusing and so I now wanted read about it in a book. The problem now is, we didn't define/use the "Eilenberg Steenrod axioms" which define a homology theory as a functor on category pairs of topological spaces. We defined a homology theory as a functor simply on the category of topological spaces and instead of the excision axiom we required ou...

• Post #3227179

  RE: https://mathstodon.xyz/@chrisTheClimber/116658216201551038 Ha! I solved it! Thanks for all the boosts! For all that are interested I'll probably do a write up and post it on here! The Tldr is: They are equivalent!

• Post #3227178

  Es ist wieder diese Zeit. Jedes Mal, wenn ich in der Uni was über ne Sigma-Algebra höre, habe ich wieder nen Ohrwurm von "Sigmaboy"🙈