-
「1% quasimorphisms and group cohomology」：数学直觉如何落到可检验的步骤
Let , be additive groups (i.e., groups with an abelian addition group la…
-
把「A corollary of the ergodic theorem」写成可执行的阅读路径
Let be a measure-preserving system – a probability space equipped with a…
-
「Gamifying propositional logic: QED, an interacti」笔记：问题从哪来、证明卡在哪
About six years ago on this blog, I started thinking about trying to mak…
-
读懂「Birkar, Figalli, Scholze, Venkatesh」：先把定义、反例和适用范围钉死
Every four years at the International Congress of Mathematicians (ICM), …
-
读懂「QED version 2.0: an interactive text in first-or」：先把定义、反例和适用范围钉死
As readers who have followed my previous post will know, I have been spe…
-
把「Trying to understand the Galois correspondence」写成可执行的阅读路径
Let be a field, and let be a finite extension of that field; in this pos…
-
「254A, Notes 0: Physical derivation of the incomp」笔记：问题从哪来、证明卡在哪
This coming fall quarter, I am teaching a class on topics in the mathema…
-
「Polymath15, tenth thread: numerics update」笔记：问题从哪来、证明卡在哪
This is the tenth “research” thread of the Polymath15 project to upper b…
-
读懂「The structure of correlations of multiplicative」：先把定义、反例和适用范围钉死
Joni Teräväinen and I have just uploaded to the arXiv our paper “The str…
-
读懂「On the recently removed paper from the New York」：先把定义、反例和适用范围钉死
In the last week or so there has been some discussion on the internet ab…