Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Babylonian Multiplication in the shower (2016).
Unfortunately the metamathematics of wordless proofs still needs words, maybe someone can make a proof theory without words?
https://www.maa.org/press/periodicals/convergence/proofs-wit...
There are no comments on this comment yet.
Unfortunately the metamathematics of wordless proofs still needs words, maybe someone can make a proof theory without words?
https://www.maa.org/press/periodicals/convergence/proofs-wit...