Freedom Math Dance

Sometimes in mathematics, you are told about very elementary things of which you hadn't even thought. I was well aware of some “duality”...

Let $R$ be a ring. Its Krull dimension is the supremum of the lengths $n$ of chains $P_0\subsetneq P_1 \subsetneq\dots\subsetneq P_n$ of pri...

I've been formalizing mathematical theorems in Lean for some years now, and one of the major blocks is the difficulty of formalizing ele...

Browsing through my Zotero database, I fall upon a paper by Harald Kuhn where he proposes an elementary proof of the Weierstrass approximat...

This is an exposition of the proof of the inequality between arithmetic and geometric means given by A. Pełczyński (1992), “ Yet another pro...

Recently, in the Zulip server for Lean users, somebody went with something that looked like homework, but managed to sting me a little bit. ...

Kronecker's theorem of the title is the following. Theorem. — Let $\alpha\in\mathbf C$ be an algebraic integer all of whose conjugate...