Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Some Fundamental Theorems in Mathematics (2019) [pdf].
Also proof theory is completely absent, like Gentzen's cut elimination theorem.
These are "fundamental" theorems of mathematics in the literal sense.
Also proof theory is completely absent, like Gentzen's cut elimination theorem.
These are "fundamental" theorems of mathematics in the literal sense.